MCP MeasureMCP Measure

index observed

Euclid-MCP

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

Install

One-Click Install

Add this to your `claude_desktop_config.json` file:

{
  "mcpServers": {
    "euclid-mcp": {
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

Runnable packages

pypieuclid-mcp0.4.5stdio

What it can do

Tool inventory

No publishable tool enumeration has been recorded.

Community

Rate this Server

Evidence

Recent observations

This server has Registry metadata but no public verification run yet.