1
Published Tools
7
Total Stars
0
Weekly Downloads
0
GitHub Followers
1
Public Repos
Published Tools
1 MCP Serveracross 1 categoryEuclid-BG
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.
...moreMCP Serveruncategorised
71 dir