agentmods.dev

Euclid-BG/Euclid-MCP

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.

This repository also configures its own agents. See what Euclid-MCP tells them →

Open on GitHub euclid-bg.github.io
4Stars on the repository
2Mods indexed here, across every type
12d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

euclid-mcp

01

Euclid-BG/Euclid-MCP

MCP server Claude CodeCodexCursor +2

MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs. Runs locally from the euclid-mcp Python package.

not rated 4 12d ago A tokens not measured original Apache-2.0