Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Install
PyPIstdio
uvx euclid-mcp Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)
{
"mcpServers": {
"io-github-meob-euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Source: official MCP Registry record · registry name io.github.meob/euclid-mcp · published 2026-08-21 · updated 2026-08-21. Not an endorsement; review the code before connecting it to anything sensitive.