listed
Euclid-MCP
io.github.meob · io.github.meob
MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
MCP
local
pypi euclid-mcp
uvx
ATTRIBUTION
- mcp · last seen 2026-09-24T02:53:22.595214Z · fetched 2026-09-24T02:53:22.595214Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.