io.github.meob

euclid-mcp

Euclid-MCP

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

stdiocommunityapplication

Package Details

euclid-mcp

0.1.2•https://pypi.org/project/euclid-mcp
Transportstdio
Runtimeuvx