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

Euclid-MCP MCP Server

Euclid-BG/Euclid-MCP

Score: 48.7 Rank #6773 MCP Server
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 #6773 out of 24850 indexed tools.

Actively maintained with commits in the last week.

Ecosystem

Python Apache-2.0

Score Breakdown

StarsFreshnessIssue HealthContributorsDependents
Stars 15% 6

6 stars → early stage

Freshness 25% 1d ago

Last commit 1d ago → actively maintained

Issue Health 25% 0%

0/4 issues closed → many open issues

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A
PyPI Downloads N/A
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

Issue Health high impact

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

Contributors medium impact

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

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

AgentRank score for Euclid-BG/Euclid-MCP
[![AgentRank](https://agentrank-ai.com/api/badge/tool/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/badge/tool/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.