Euclid-MCP MCP配置与使用教程

{
  "id": "io.github.meob/euclid-mcp",
  "type": "mcp-server",
  "version": "0.4.5",
  "displayName": "Euclid-MCP",
  "description": "Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees",
  "repository": {
    "url": "https://github.com/meob/Euclid-MCP",
    "source": "github"
  },
  "distribution": {
    "packages": [
      {
        "registryType": "pypi",
        "identifier": "euclid-mcp",
        "version": "0.4.5",
        "runtimeHint": "uvx",
        "transport": "stdio"
      }
    ],
    "remotes": []
  },
  "dependencies": [],
  "installTargets": [
    "claude-code",
    "claude-desktop",
    "cursor",
    "vscode",
    "trae",
    "cherry-studio",
    "lingma",
    "windsurf",
    "cline",
    "workbuddy"
  ],
  "keywords": [],
  "provenance": {
    "origin": "official-mcp-registry",
    "originalId": "io.github.meob/euclid-mcp",
    "originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.meob%2Feuclid-mcp/versions/latest",
    "isOfficial": true,
    "status": "active"
  }
}