MCP server

Euclid-MCP

io.github.meob/euclid-mcp

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add euclid-mcp -- uvx euclid-mcp@0.4.5

Claude Desktop

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

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

PlaySudoku
Deterministic Sudoku puzzles, progress checks, logical hints, and step-by-step solutions.
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Jyotish — Vedic astrology for AI agents
Vedic astrology for AI agents: chart facts, panchang windows, and Guna Milan compatibility.
Zero-Trust Physics
A physics verifier for Super Intelligence. Every answer comes with a cryptographic proof.
Redra
Search current class-action settlements and identify possible matches using structured filters.
Tax Engine
Deterministic Czech OSVC tax tools for 2026: tax, insurance, deadlines, VAT and exchange rates.
Pith
Reviews of arXiv papers for AI agents: verdicts, claims, flaws, compiled records, citation graphs.
Governance Platform
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.meob/euclid-mcp.svg)](https://aptlynx.net/servers/io.github.meob/euclid-mcp)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents