Euclid-MCP server for logical reasoning: turns facts into formal proofs. Euclid-MCP is a hybrid cognitive architecture: a lightweight LLM describes the world in facts, and a deterministic engine performs the actual deduction. The LLM never needs to reason — it only needs to describe.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add euclid -- uvx euclid-mcp~/.codex/config.toml
[mcp_servers.euclid]
command = "uvx"
args = ["euclid-mcp"]
# codex mcp add euclid -- uvx euclid-mcp~/.cursor/mcp.json
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}.vscode/mcp.json
{
"servers": {
"euclid": {
"type": "stdio",
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}