Overig · Lokale MCP-server

Euclid-MCP

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

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.meob/euclid-mcp
Versie
0.4.5
Status
Actief
Categorie
overig
Transport
stdio (lokaal proces)
Pakket
PyPI
Gepubliceerd
21 augustus 2026
Bijgewerkt
21 augustus 2026
Uitgever
meob (GitHub) · 2 servers met een pagina hier
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/meob) · hoe
Repository
github.com/meob/Euclid-MCP
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
PyPIruntime: uvxeuclid-mcp0.4.5stdioNiets opgegeven

Zo verbind je Euclid-MCP

Euclid-MCP draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: euclid-mcp, versie 0.4.5. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx euclid-mcp.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer van meob (GitHub)

Alle 2 →
ServerDraaitEndpoint of pakket
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Lokaal · stdioPyPI: pg-cve-mcp

Meer servers in de categorie overig

Alle 8.395 →
ServerDraaitEndpoint of pakket
EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance.Lokaal · stdioPyPI: eu-audit-mcp
EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője.Extern · HTTPLivecontrole: ✓ handshakeeumoney.hu
Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001.Lokaal · 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.Extern · HTTPLivecontrole: ✓ handshakenlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps.Extern · HTTPLivecontrole: inloggen vereistmcp.apify.com
EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought.Extern · HTTPLivecontrole: ✗ geen handshakeapi.euearth.com
EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more).Lokaal · stdioPyPI: eval-integrity
Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders.Lokaal · stdio en HTTPnpm: @cyanheads/evals-mcp-server