Euclid-MCP MCP Server
Euclid-BG/Euclid-MCP
[](https://agentrank-ai.com/tool/Euclid-BG--Euclid-MCP/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) 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.
claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
Euclid-BG/Euclid-MCP is a Python MCP server licensed under Apache-2.0. 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.
Ranked #20595 out of 24846 indexed tools.
Ecosystem
Score Breakdown
7 stars → early stage
Last commit 1mo ago → moderate activity
1/5 issues closed → many open issues
1 contributor → solo project
No dependents → no downstream usage
52 weekly installs → early adoption
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.