Server record / io.github.meob/euclid-mcp
Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Runnable packages
pypieuclid-mcp
0.4.5stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.