Euclid-MCP MCP Server

by meob Your server? Claim it

local only

Euclid-MCP runs on your own machine — the client starts it, so there is no endpoint to ping. 178 installs a week from pypi. Last commit 13 Sep 2026.

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

Installs per day peak 91 · avg 37 · -35% w/w

a month agotoday

178

Installs / week

pypi · euclid-mcp

Stars

0 open issues

13 Sep 2026

Last commit

from GitHub

Apache-2.0

License

Python

What changed 1

Every tool that appeared, vanished or quietly changed what it asks for. Recorded since 24 September 2026. No other catalogue keeps this.

24 Sep the owner changed

What the code does

We read the source, 5 d ago · rules 995398eba69f

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Runs an external command euclid_mcp/prolog_server.py:115, [пакет] euclid_mcp/prolog_server.py:115

        self._proc = subprocess.Popen(

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Connect this server

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 Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add euclid-mcp -- uvx euclid-mcp

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "euclid-mcp": {
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

~/.codex/config.toml

[mcp_servers.euclid-mcp]
command = "uvx"
args = ["euclid-mcp"]

.cursor/mcp.json

{
  "mcpServers": {
    "euclid-mcp": {
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "euclid-mcp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

Alternatives to Euclid-MCP

same job, measured the same way

Cruxible Core

by cruxible-ai

Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.

100 installs/wk local only

Decker

by gigshow

Deterministic market-state engine for trading agents — state, gate, coordinates, with receipts.

12 tools answering

PlaySudoku

by vincentping

Deterministic Sudoku puzzles, progress checks, logical hints, and step-by-step solutions.

4 tools answering

International Classifications MCP

by lbruce-wq

Deterministic MCP for statistical classifications and survey codelists with provenance.

10 tools answering

Osnova

by getdomovoi

Deterministic code map for AI coding agents: a tree-sitter call graph with exact file:line over MCP.

85 installs/wk local only

AsDecided

by asdecided

Read-only access to deterministic engineering decisions stored in a local repository.

local only

MLP Tax Computation Engine

by lucasandersen

Deterministic MLP tax engine with IRS citations. 6 tools: basis, §751, estate, projections.

6 tools answering

CausalLayer MCP

by smq9sn5jck-coder

Deterministic AI liability attribution with Bitcoin-anchored proof certificates.

32 installs/wk 10 tools answering

Euclid-MCP — questions

Answers built from our own checks of this server.

Why is there no uptime for Euclid-MCP?

Euclid-MCP runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package euclid-mcp was installed 178 times last week.

How do I connect Euclid-MCP?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It runs locally, so the command pulls euclid-mcp straight from pypi; nothing to host, nothing to sign up for.

How many people use Euclid-MCP?

The pypi package euclid-mcp was installed 178 times in the last week. Week over week that is -35%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.

Is Euclid-MCP open source?

Yes — it is published under the Apache-2.0 licence, written in Python and 7 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.