io.github.meob/euclid-mcp

Euclid-MCP

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

0.4.5
Version
pypi
Transport
—
Tools

Security review

Review passed

Reviewed 20h ago.

  • metadata: scanned
  • packages: 1 checked

No findings.