Euclid-MCP runs on your own machine — the client starts it, so there is no endpoint to ping. 256 installs a week from pypi.
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
The linked repository no longer exists on GitHub — it was deleted or made private.
Quiet is not dead — but it is worth knowing when it wakes up, or when someone else takes it over. We watch the repository and tell you either way.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add euclid-mcp -- uvx euclid-mcp
{
"mcpServers": {
"euclid-mcp": {
"args": [
"euclid-mcp"
],
"command": "uvx"
}
}
}
[mcp_servers.euclid-mcp]
command = "uvx"
args = ["euclid-mcp"]
{
"mcpServers": {
"euclid-mcp": {
"args": [
"euclid-mcp"
],
"command": "uvx"
}
}
}
{
"mcpServers": {
"euclid-mcp": {
"args": [
"euclid-mcp"
],
"command": "uvx"
}
}
}
Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.
Deterministic market-state engine for trading agents — state, gate, coordinates, with receipts.
Deterministic Sudoku puzzles, progress checks, logical hints, and step-by-step solutions.
Deterministic MLP tax engine with IRS citations. 6 tools: basis, §751, estate, projections.
Read-only access to deterministic engineering decisions stored in a local repository.
Deterministic AI liability attribution with Bitcoin-anchored proof certificates.
Offline deterministic engineering-trust certificates for repositories, with no telemetry.
Deterministic fitness coaching engine: adaptive programs, progression math, readiness autoregulation
Answers built from our own checks of this server.