StdioRegistry
Euclid-MCP
io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
This is a local server. It was not executed. The score is last push, archive state, package existence, stars, and license.
- Rank
- #27460
- Score
- 30
- Tool tokens
- —
- Tools
- 0
Tools
Token cost is the o200k count of the tools list JSON, including schemas, before any tool is called.
No tool list was stored.
Nearby in GitHub
Context7
Up-to-date code docs for any prompt
Alive
score
95
Financial Modeling Prep MCP Server
MCP server for Financial Modeling Prep API with 250+ financial data tools
Alive
score
95
SerpApi
Official SerpApi MCP server for Google, Bing, and other search engines.
Alive
score
94
pg-aiguide
Comprehensive PostgreSQL documentation and best practices, including ecosystem tools
Alive
score
92