Euclid-MCP server for logical reasoning: turns facts into formal proofs. Euclid-MCP is a hybrid cognitive architecture: a lightweight LLM describes the world in facts, and a deterministic engine performs the actual deduction. The LLM never needs to reason — it only needs to describe.
Latest release v0.5.0 — v0.5.0 — Disjunction (OR) in rule bodies, project landing page · 19 Sept 2026
1 file for Codex and OpenCode: Euclid-MCP AGENTS.md — 2,525 tokens loaded in every session.
AGENTS.md A 2,525 tok These files are Euclid-BG/Euclid-MCP's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.