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.4.6 — v0.4.6 — Backend parity, multi-line continuations, REPL hardening · 23 Aug 2026
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.
AGENTS.md A 2,369 tok