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
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | euclid-mcp | 0.4.5 | stdio |
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)
| Server | Runs |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Local · stdio |
More other servers
| Server | Runs |
|---|---|
| EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője. | Remote · HTTP |
| Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001. | Local · stdio |
| EU Safety Gate Product RecallsIs this product recalled in the EU? 46,506 official Safety Gate alerts by GTIN, brand or name. | Remote · HTTP |
| EU VAT Validator (VIES)Bulk-validates EU VAT numbers against the European Commission's official VIES service. | Remote · HTTP |
| Eudata402KYB due diligence for agents: sanctions screening, EU VAT/VIES, LEI, IBAN in one verdict. | Remote · HTTP |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Remote · HTTP |
| EurorackCitation-anchored Eurorack module reference: specs, compatibility, and patch techniques. | Remote · HTTP |
| EvalForge LiteCompare text LLMs across OpenRouter, Bedrock, Vertex AI and Foundry with automated grading. | Local · stdio |