Google PageRank for AI agents. 25,000+ tools indexed.

Euclid-MCP MCP Server

Euclid-BG/Euclid-MCP

Score: 49.3 Rank #20595 MCP Server
[![AgentRank](https://agentrank-ai.com/api/v1/badge/Euclid-BG--Euclid-MCP)](https://agentrank-ai.com/tool/Euclid-BG--Euclid-MCP/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)
Are you the maintainer of Euclid-BG/Euclid-MCP? Claim this listing →

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.

Add AgentRank to Claude Code Discover and compare tools like Euclid-BG/Euclid-MCP — your AI finds the right one automatically
Get API Access →
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

Python Apache-2.0 52 pypi/wk

Score Breakdown

StarsFreshnessIssue HealthContributorsDependents
Stars 15% 7

7 stars → early stage

Freshness 25% 1mo ago

Last commit 1mo ago → moderate activity

Issue Health 25% 20%

1/5 issues closed → many open issues

Contributors 10% 1

1 contributor → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A
PyPI Downloads 13% 52/wk

52 weekly installs → early adoption

Forks 0
Description Detailed
License Apache-2.0

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Freshness high impact

Last commit was 48 days ago — a recent commit would boost your freshness score

Issue Health high impact

You have 4 open vs 1 closed issues — triaging stale issues improves health

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Install in your agent

claude mcp add euclid-mcp -- uvx euclid-mcp
codex mcp add euclid-mcp -- uvx euclid-mcp
{"mcpServers":{"euclid-mcp":{"command":"uvx","args":["euclid-mcp"]}}}
hermes mcp add euclid-mcp --command uvx --args euclid-mcp

Badge all embed codes →

AgentRank score for Euclid-BG/Euclid-MCP
[![AgentRank](https://agentrank-ai.com/api/v1/badge/Euclid-BG--Euclid-MCP)](https://agentrank-ai.com/tool/Euclid-BG--Euclid-MCP/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)
<a href="https://agentrank-ai.com/tool/Euclid-BG--Euclid-MCP/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/Euclid-BG--Euclid-MCP" alt="AgentRank"></a>

Embed Widget docs →

Embed a rich score widget on your site or blog.

<script src="https://agentrank-ai.com/embed.js" data-tool="Euclid-BG/Euclid-MCP"></script>

Matched Queries

"mcp server""mcp-server"

Get the weekly AgentRank digest

Top movers, new tools, ecosystem insights — straight to your inbox.