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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| PyPILaufzeitumgebung: uvx | euclid-mcp | 0.4.5 | stdio |
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)
| Server | Ausführung |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Lokal · stdio |
Weitere Server der Kategorie Sonstige
| Server | Ausführung |
|---|---|
| EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance. | Lokal · stdio |
| EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001. | Lokal · stdio |
| 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: ✓ Handshake |
| Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Remote · HTTPLive-Prüfung: ✗ kein Handshake |
| EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more). | Lokal · stdio |
| Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders. | Lokal · stdio und HTTP |