Euclid-MCP MCP
v0.4.5io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
transport:stdio
runtime:pypi
Target client
run in your project directory
claude mcp add euclid-mcp -- uvx euclid-mcpAdds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.