io.github.fvossel/unicode-logic-kitMCP Registry
Unicode Logic Kit
v0.32.0Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Endpoint health
unknown- Last checked
- No observation yet
- Latency
- Unknown
- Consecutive failures
- 0
Machine-readable profile
mcp-server · schema v1 · package or metadata only
mcp-server:io.github.fvossel%2Funicode-logic-kit