U
Unicode Logic Kit
io.github.fvossel/unicode-logic-kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Version0.32.0
Remote accessNO
Local installYES
Packagespypi
First seen10 Oct 2026
Last seen1h ago
Capabilities
Matched from the publisher's description · automatic, low confidenceFacts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Package registries | pypi | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Remote access (hosted) | no | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Website | https://unicode-logic-kit.readthedocs.io/ | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Repository | https://github.com/fvossel/unicode-logic-kit | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Version | 0.32.0 | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 1h ago |
Change history
- NEW10 Oct 2026first seen in the index