Euclid MCP

Deterministic logical reasoning engine - facts in Euclid IR, solutions with proof trees. Its 11 documented tools cover what, why. It runs locally over stdio via the published package.

People connecting this server to Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-08-24 · ★ 4 · #165 OF 848 MAINTAINED OTHER · VERIFIED 2026-08-25

Apache-2.0 · Python servers · how we verify → /methodology

01 · Install Euclid MCP

before you install - you'll need

EUCLID_KB_PATH

Environment variables documented in the project's README - it lists which are required and which have defaults.

Claude Code

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

Claude Desktop / Cursor / VS Code - add to config

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

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

repo age created 2026-07-07 - young repo, little track record yet

license Apache-2.0 - declared in the repository

pypi package euclid-mcp - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.meob is GitHub-verified and matches the repo owner

03 · What Euclid MCP can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

What you can build

With this server connected, an agent can remove a named KB from the registry, and list registered named KBs (metadata).

Capability map

Tools grouped from the project's README - what Euclid MCP lets an agent do.

What

2 tools - e.g. Test modifications before applying them; suggest what would make a false query true

what_if · what_needs

Why

2 tools - e.g. explain why a query holds (or that it doesn't); explain why a query fails (missing facts/rules)

why · why_not

Reason

1 tool - e.g. Main deduction - get solutions + proof trees

reason

Explain

1 tool - e.g. Readable, natural-language reasoning steps

explain

Diagnose

1 tool - e.g. Understand why a query succeeds or fails

diagnose

Check

1 tool - e.g. Validate KB consistency before reasoning

check_kb

1 tool - e.g. Register a named KB under a kb_id

register_kb

Unregister

1 tool - e.g. Remove a named KB from the registry

unregister_kb

Latest releases

v0.4.6 · 2026-08-23

[0.4.6] - 2026-08-23 · Fixed · Backend divergence on true/false body literals - pred($x) IF false · crashed the SWI-Prolog backend with an opaque engine_error: the · meta-interpreter had no branch for the literal, so…

v0.4.5 · 2026-08-21

Added · Unicode atoms in the native engine - the pure-Python lexer · (euclid_mcp/ir_parser.py) now accepts Unicode predicate/atom names · (父(张三), смертный($x), Бог(Иван)), closing the last documented gap · with…

v0.4.4 · 2026-08-18

LSP server, examples, docs, and build fixes · v0.4.4

04 · Who maintains Euclid MCP

Euclid-MCP is maintained by meob. We track 2 MCP servers from meob - 2 actively maintained, 4 combined GitHub stars, oldest repo from Jul 2026.

05 · Facts

repository: github.com/meob/euclid-mcp
category: other - ranked #165 of 848 actively-maintained other servers as of 2026-08-25.
release cadence: 8 releases in the last 90 days (latest 2026-08-23)
registry: io.github.meob/euclid-mcp (active, first published 2026-07-13 · 4 versions)
packages: pypi:euclid-mcp

06 · Euclid MCP FAQ

Is Euclid MCP still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-24 and it shipped 8 releases in the last 90 days. We re-verify nightly.

What can Euclid MCP do?

With this server connected, an agent can remove a named KB from the registry, and list registered named KBs (metadata).

How do I install Euclid MCP?

Run `uvx euclid-mcp`. The README documents one environment variable (EUCLID_KB_PATH) to set first. You can also paste the ready-made client config above.

Does Euclid MCP run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Euclid MCP

Alternatives to Euclid MCP

Maintained other servers if Euclid MCP isn't the fit.

More MCP servers to compare · STRING Database MCP Server · Metrxbots MCP Server · Okf MCP · Bing Ads · Console MCP Server

More Python MCP servers · Praison AI · VOC Amazon Reviews · Texas Grocery · Embedded / IoT Mentor · see all