mcpbeat

Euclid-MCP MCP Server

io.github.meob/euclid-mcp
local only

Euclid-MCP runs on your own machine — the client starts it, so there is no endpoint to ping. 137 installs a week from pypi.

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

The linked repository no longer exists on GitHub — it was deleted or made private.

Installs per day peak 531 · avg 62 · +17% w/w
a month agotoday
137
Installs / week
pypi · euclid-mcp
—
Stars
on GitHub
—
Last commit
0 releases in 90 days
—
License
language unknown

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

run in your terminal
claude mcp add euclid-mcp -- uvx euclid-mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "euclid-mcp": {
      "args": [
        "euclid-mcp"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.euclid-mcp]
command = "uvx"
args = ["euclid-mcp"]
.cursor/mcp.json
{
  "mcpServers": {
    "euclid-mcp": {
      "args": [
        "euclid-mcp"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "euclid-mcp": {
      "args": [
        "euclid-mcp"
      ],
      "command": "uvx"
    }
  }
}

Euclid-MCP — questions

Answers built from our own checks of this server.

Why is there no uptime for Euclid-MCP?
Euclid-MCP runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package euclid-mcp was installed 137 times last week.
Is Euclid-MCP still maintained?
The linked repository no longer exists on GitHub — it was deleted or made private. We show this because it changes what you can expect: an unmaintained server may keep answering for months and then stop without warning.
How do I connect Euclid-MCP?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls euclid-mcp straight from pypi; nothing to host, nothing to sign up for.
How many people use Euclid-MCP?
The pypi package euclid-mcp was installed 137 times in the last week. Week over week that is +17%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.