io.github.meob/euclid-mcp

pkg:pypi:euclid-mcp

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

transport:
stdio
credential class:
not-probed
repo:
https://github.com/meob/Euclid-MCP

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

Vouch score: io.github.meob/euclid-mcp
[![Vouch score](https://vouch.tools/api/servers/5b28f94c-63cc-4f58-aa5a-d64749008eb7/badge.svg)](https://vouch.tools/servers/5b28f94c-63cc-4f58-aa5a-d64749008eb7)
io.github.meob/euclid-mcp — Vouch