MCP Server
Euclid-MCP
io.github.meob/euclid-mcp
What this MCP does
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.