Euclid-MCP
io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 7 | github.com/meob/Euclid-MCP |
| Last push | 2026-09-24 | GitHub API |
| Licence | Apache-2.0 | GitHub API |
| Registry version | 0.4.5 · active · updated 2026-08-21 | registry |
| Package | pypi: euclid-mcp | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- PostgreSQL CVE & Release Intelligence PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.meob/euclid-mcp)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.meob/euclid-mcp.