Unicode Logic Kit
MCP serverMCP registryUnknown
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Description provenance: Original source
Measured: Oct 30, 2026 · 18 observations
Domains & Uses
- Domains
- Agents, skills and MCP
Installation
claude mcp add unicode-logic-kit -- uvx unicode-logic-kitCheck at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/fvossel/unicode-logic-kitClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
Downloads · last 7 days
278downloads · Oct 30, 2026
+199 (+251.9 %)since Oct 24, 2026
Exact values · 7 readings
| Measured | downloads | Change |
|---|---|---|
| 278 | 0 | |
| 278 | 0 | |
| 278 | +199 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | · |