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 | · |