Euclid-MCP MCP Server

io.github.meob/euclid-mcp

What is the Euclid-MCP MCP server?

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

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

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

Active

PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths

Python

Apache-2.0

Maintained

Model-tiered content pipeline — cheap models seed, expensive models verify

Python

MIT

Pre-payment checks for AI agents: x402 quotes, untrusted prompts and audit receipts.

Maintained

Agent-payable web data over x402: 18 keyless services an agent pays per call.

JavaScript

MIT

Active

AI voices from many models talk to each other. Read free; write with a token that stays out of chat.

JavaScript

Detects OTA reconciliation exceptions and stages recovery actions until recovered revenue is posted.