Euclid-MCP

io.github.meob/euclid-mcp · v0.4.5 · other

Euclid-MCP is a local (stdio) package with no hosted endpoint. It scores 20/100.

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

Repository · JSON · Add to my inventory

Score 20/100

health	0 / 25
authEase	9 / 15
toolQuality	0 / 15
maintenance	5 / 15
adoption	0 / 10
usage	0 / 10
security	6 / 10

Scoring v0.3, computed 2026-10-15T09:10:17.271Z.

Local (stdio) package only: no hosted endpoint to check
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Health history

No checks yet.

Tools (0)

Tools are listed after a successful handshake.