Sonstige · Lokaler MCP-Server

Euclid-MCP

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

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.meob/euclid-mcp
Version
0.4.5
Status
Aktiv
Kategorie
Sonstige
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
21. August 2026
Aktualisiert
21. August 2026
Herausgeber
meob (GitHub) · 2 Server mit eigener Seite hier
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/meob) · So wird verifiziert
Repository
github.com/meob/Euclid-MCP
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPILaufzeitumgebung: uvxeuclid-mcp0.4.5stdioKeine deklariert

So verbinden Sie Euclid-MCP

Euclid-MCP wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: euclid-mcp, Version 0.4.5. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx euclid-mcp.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von meob (GitHub)

Alle 2 →
ServerAusführungEndpunkt oder Paket
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Lokal · stdioPyPI: pg-cve-mcp

Weitere Server der Kategorie Sonstige

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