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.

4Stars on the repository

2Mods indexed here, across every type

10d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

Euclid-MCP AGENTS.md

Euclid-BG/Euclid-MCP

Instructions file CodexOpenCode

AGENTS.md instructions for Euclid-BG/Euclid-MCP, covering euclid-mcp — agent guide, workflow, tools, reason and explain.

not rated 4 10d ago A 2,369 tokens original Apache-2.0