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

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : uvxeuclid-mcp0.4.5stdioAucune déclarée

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)

Voir les 2 →
ServeurExécutionPoint de terminaison ou paquet
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Local · stdioPyPI : pg-cve-mcp

Autres serveurs : autres

Voir les 8 395 →
ServeurExécutionPoint de terminaison ou paquet
EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance.Local · stdioPyPI : eu-audit-mcp
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 maineumoney.hu
Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001.Local · 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.Distant · HTTPVérification en direct : ✓ poignée de mainnlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps.Distant · HTTPVérification en direct : connexion requisemcp.apify.com
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 mainapi.euearth.com
EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more).Local · stdioPyPI : eval-integrity
Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders.Local · stdio et HTTPnpm : @cyanheads/evals-mcp-server