Unicode Logic Kit
MCPサーバーMCPレジストリ不明
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
説明の出典: 元のソース
測定日: 2026/10/30 · 18 観測
分野 & 用途
- 分野
- エージェント・スキル・MCP
インストール
claude mcp add unicode-logic-kit -- uvx unicode-logic-kit情報源で確認
互換性と前提条件は公式ドキュメントで確認してください。
https://github.com/fvossel/unicode-logic-kit分類
- 種別
- ツール
測定履歴
比較可能な測定値をシグナルと単位ごとにまとめています。
直近7日間のダウンロード
278ダウンロード · 2026/10/30
+199 (+251.9 %)2026/10/24 から
正確な値 · 7 件の測定
| 測定日 | ダウンロード | 変化 |
|---|---|---|
| 278 | 0 | |
| 278 | 0 | |
| 278 | +199 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | · |