MCP server

Euclid-MCP

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

This is public metadata, not a safety certification or complete assessment. Static analysis cannot establish what a tool does at runtime.

Coverage

Not analyzed

Detailed report not available for this asset yet.

Using this tool across your team? We can assess your whole inventory.