Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Connect Runs on your machine
claude mcp add euclid-mcp -- uvx euclid-mcp==0.4.5
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp==0.4.5"
]
}
}
}
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp==0.4.5"
]
}
}
}
{
"servers": {
"euclid-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"euclid-mcp==0.4.5"
]
}
}
}
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Details
| Package | [email protected] (PYPI, stdio) |
| First published | 21 Aug 2026 |
| Last updated | 21 Aug 2026 |
| Registry name | io.github.meob/euclid-mcp |
More other servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
