← all MCP servers
Unicode Logic Kit
io.github.fvossel/unicode-logic-kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
install
pypi · stdio
uvx unicode-logic-kit
details
- version
- 0.32.0
- license
- MIT
- stars
- 0
- last commit
- 2026-10-10
- published
- 2026-10-10
last synced 2026-10-11