Euclid-MCP MCP Server
Euclid-BG/Euclid-MCP
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 #6773 out of 24850 indexed tools.
Actively maintained with commits in the last week.
Ecosystem
Score Breakdown
6 stars → early stage
Last commit 1d ago → actively maintained
0/4 issues closed → many open issues
0 contributors → solo project
No dependents → no downstream usage
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.