Other · Local MCP server

Euclid-MCP

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

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.meob/euclid-mcp
Version
0.4.5
Status
Active
Category
other
Transport
stdio (local process)
Package
PyPI
Published
2026-08-21
Updated
2026-08-21
Publisher
meob (GitHub) · 2 servers with pages here
Repository
github.com/meob/Euclid-MCP
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: uvxeuclid-mcp0.4.5stdioNone declared

How to connect Euclid-MCP

Euclid-MCP runs locally from a Python package published to PyPI: euclid-mcp version 0.4.5. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx euclid-mcp.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

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

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More from meob (GitHub)

ServerRunsEndpoint or package
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Local · stdioPyPI: pg-cve-mcp

More other servers

All 6,730 →
ServerRunsEndpoint or package
EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője.Remote · HTTPeumoney.hu
Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001.Local · stdionpm: @ansvar/eu-regulations-mcp
EU Safety Gate Product RecallsIs this product recalled in the EU? 46,506 official Safety Gate alerts by GTIN, brand or name.Remote · HTTPnlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
EU VAT Validator (VIES)Bulk-validates EU VAT numbers against the European Commission's official VIES service.Remote · HTTPmcp.apify.com
Eudata402KYB due diligence for agents: sanctions screening, EU VAT/VIES, LEI, IBAN in one verdict.Remote · HTTPx402-seller-202595743428.europe-west1.run.app
EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought.Remote · HTTPapi.euearth.com
EurorackCitation-anchored Eurorack module reference: specs, compatibility, and patch techniques.Remote · HTTPeurorackref.com
EvalForge LiteCompare text LLMs across OpenRouter, Bedrock, Vertex AI and Foundry with automated grading.Local · stdioPyPI: evalforge-lite