io.github.meob/euclid-mcp
Euclid-MCP
Is the Euclid- MCP server down? No. It answered initialize and tools/list in the probe of 2026-10-31.
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
alive probed 2026-11-14 · unchanged since 2026-10-31
- Run it
- uvx euclid-mcp@0.4.5 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- Euclid-MCP
- Capabilities
- prompts, resources, tools
- Instructions
- 540 characters
- Of a 1M window
- 0.2 % of a 1M context window
- Count
- 2.1k tokens in Claude Opus 5.5, exact, measured 2026-10-17. With the Claude Code prefix mcp__…__ on each tool name: 2.2k. The o200k_base estimate is 1.1k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/meob/Euclid-MCP
- Registry
- active, updated 2026-08-21 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.91×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| diagnose | 390 | 204 | 19 % |
| what_if | 377 | 197 | 18 % |
| explain | 365 | 191 | 17 % |
| reason | 333 | 174 | 16 % |
| check_kb | 230 | 120 | 11 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- pubmed-stream io.github.melhzy/pubmed-stream · alive
- io.github.meloliva14/verity-mcp · needs mcp<2
- Context Engine io.github.melonelish/context-engine · crashed on start
- io.github.memtomem/memtomem · alive
- PostgreSQL CVE & Release Intelligence io.github.meob/pg-cve-mcp · needs env
- Sprout MCP io.github.mepsopti/sprout-mcp · alive
- cogito-mem (Cogi) io.github.meridian21lab/cogito-mem · alive
- GPU Server io.github.mesutoezdil/mcp-gpu-server · needs mcp<2
Servers that mention deterministic or reasoning.
- ai.boundaryai/boundaryai · needs auth
- ColdState — Deterministic Knowledge Infrastructure ai.coldstate/knowledge · alive
- DJZS Trust MCP ai.djzs/trust-mcp · alive
- ai.geodesiclabs/governance-platform · alive
- MLP Tax Computation Engine ai.lucasandersen/mlp-tax · alive
- MakerPortal compute ai.makerportal/compute · alive
- Siren ai.mysiren/siren · alive
- Snipget ai.snipget/snipget · needs auth
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.