Euclid-MCP MCP Server

Name: Euclid-MCP MCP Server
Author: io.github.meob

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.

Claude Desktop

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

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

Cursor

~/.cursor/mcp.json

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

Windsurf

~/.codeium/windsurf/mcp_config.json

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

VS Code

.vscode/mcp.json

{
  "servers": {
    "euclid-mcp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

Claude Code

claude mcp add euclid-mcp -- uvx euclid-mcp

Active

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

Python

Apache-2.0