Autres · Serveur MCP local
Euclid-MCP
Deterministic logical reasoning engine - facts in Euclid IR, solutions with proof trees.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.meob/euclid-mcp- Version
- 0.4.5
- Statut
- Actif
- Catégorie
- autres
- Transport
- stdio (processus local)
- Paquet
- PyPI
- Publié
- 21 août 2026
- Mis à jour
- 21 août 2026
- Éditeur
- meob (GitHub) · 2 serveurs avec une page ici
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/meob) · comment
- Dépôt
- github.com/meob/Euclid-MCP
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| PyPIenvironnement d’exécution : uvx | euclid-mcp | 0.4.5 | stdio |
Comment connecter Euclid-MCP
Euclid-MCP s’exécute en local depuis un paquet Python publié sur PyPI : euclid-mcp, version 0.4.5. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx euclid-mcp.
Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Du même éditeur : meob (GitHub)
| Serveur | Exécution |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Local · stdio |
Autres serveurs : autres
| Serveur | Exécution |
|---|---|
| EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance. | Local · stdio |
| EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője. | Distant · HTTPVérification en direct : ✓ poignée de main |
| 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. | Distant · HTTPVérification en direct : ✓ poignée de main |
| Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps. | Distant · HTTPVérification en direct : connexion requise |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more). | Local · stdio |
| Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders. | Local · stdio et HTTP |