Unicode Logic Kit

MCPサーバーMCPレジストリ不明

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

説明の出典: 元のソース

測定日: 2026/10/30 · 18 観測

分野 & 用途

claude mcp add unicode-logic-kit -- uvx unicode-logic-kit

互換性と前提条件は公式ドキュメントで確認してください。

比較可能な測定値をシグナルと単位ごとにまとめています。

278ダウンロード · 2026/10/30

+199 (+251.9 %)2026/10/22 から

正確な値 · 8 件の測定