Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Description as published in the official MCP registry.
Maintain this server? Get the badge
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 0 | github.com/fvossel/unicode-logic-kit |
| Last push | 2026-10-11 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 0.33.0 · active · updated 2026-10-11 | registry |
| Package | pypi: unicode-logic-kit | registry |
Packages
pypi: unicode-logic-kit
Exists · metadata read 2026-10-12
Latest version: 0.33.0. Last published: 2026-10-11.
Yanked: no.
Weekly downloads: 898 · read 2026-10-12. downloads include bots and CI.
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.
Related servers
- Security Recipes Read-only CVE intelligence, remediation playbooks, and agent setup guides. Not a scanner.
- Logic Pro MCP Local MCP server for stateful, fail-closed Logic Pro control and live project readback.
- mcp-kettlelogic MCP server exposing Kettle Logic insight articles & industry guidance as tools +…
- calculators Find and run trustworthy calculators with clear methods, provenance, and sources.
- scrivener-mcp MCP server for Scrivener: read, write, analyze, and search your manuscripts with AI…
- UltraMemory Cross-tool memory for your AI that recalls first every turn and admits when it doesn't…
Is this your server?
Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.
[](https://openforallofus.com/tools/io.github.fvossel/unicode-logic-kit)<a href="https://openforallofus.com/tools/io.github.fvossel/unicode-logic-kit"><img src="https://openforallofus.com/badge/io.github.fvossel/unicode-logic-kit.svg" alt="Agora: MCP handshake check" height="20"></a>The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.
Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.fvossel/unicode-logic-kit.