MCP servers
Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
unicode-logic-kit · pypi 0.35.0 · stdio
claude mcp add --transport stdio unicode-logic-kit -- uvx unicode-logic-kit==0.35.0Server details
- Registry name
- io.github.fvossel/unicode-logic-kit
- Version
- 0.35.0
