SocketlistOther / Euclid-MCP
Euclid-MCP
io.github.meob/euclid-mcp · v0.4.5
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Install
uvx euclid-mcpTypical command from the package name. Check the README for required configuration and credentials before connecting it to real data.
Signals
| GitHub stars | 7 |
| npm weekly downloads | - |
| Last push | today |
| Licence | Apache-2.0 |
| Open issues | 0 |
| SECURITY.md | No |
| Language | Python |
| Latest version published | 2026-08-21 |
Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.
Similar servers
Strategic Agent Reasoning MCP
Score 74Strategic BDI reasoning engine for autonomous AI agents with spatial utility and replanning.
ATS Engine
Score 71Read your own resume the way an ATS does and score it with a published, deterministic rubric.
godot-mcp-bridge
Score 79MCP server for Godot game engine integration — control the Godot editor with AI