Install Euclid in Claude Code
claude mcp add euclid -- uvx euclid-mcp{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Frequently asked questions
What does the Euclid MCP server do?
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Is the Euclid MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Euclid run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Euclid to Claude Code?
Run: claude mcp add euclid -- uvx euclid-mcp
More other tools & integrations MCP servers
View allEurovalidate
Nitrych/eurovalidate-mcp
Validate EU VAT numbers (VIES), IBANs and EORI, look up company data (GLEIF) and VAT rates
EU PII Redaction
JulianJohansen/eu-pii-redact
Redact EU personal data (names, national IDs, IBANs) in text and files; restore it later.
EventChat
ZakKrevitt/EventChat
Live event discovery: concerts, club nights, art, comedy, and festivals across 14 cities.
Eu Energy Imports
pipeworx-io/mcp-eu-energy-imports
EU energy imports MCP -- where Germany and each EU country get their gas, oil and coal, how much…
Evergreen
arminazimi/evergreen
Evidence-backed deprecation and end-of-life checks for dependencies, runtimes, and Actions.
Eu Ctis
pipeworx-io/mcp-eu-ctis
EU CTIS MCP — the Clinical Trials Information System, the EU's public register of clinical trials…