Otros · Servidor MCP local

Euclid-MCP

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

Lo que indica el MCP Registry

La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.

Nombre en el registro
io.github.meob/euclid-mcp
Versión
0.4.5
Estado
Activo
Categoría
otros
Transporte
stdio (proceso local)
Paquete
PyPI
Publicado
21 de agosto de 2026
Actualizado
21 de agosto de 2026
Editor
meob (GitHub) · 2 servidores con página aquí
Espacio de nombres
Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/meob) · cómo
Repositorio
github.com/meob/Euclid-MCP
Fuente
Entrada en la API del registro

Paquetes

RegistroPaqueteVersiónTransporteVariables de entorno
PyPIentorno de ejecución: uvxeuclid-mcp0.4.5stdioSin declarar

Cómo conectar Euclid-MCP

Euclid-MCP se ejecuta en local a partir de un paquete de Python publicado en PyPI: euclid-mcp, versión 0.4.5. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Python; los clientes suelen iniciarlo con uvx (de uv) o tras pip install - el comando habitual es uvx euclid-mcp.

En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):

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

Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar

Más de meob (GitHub)

Ver los 2 →
ServidorEjecuciónEndpoint o paquete
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Local · stdioPyPI: pg-cve-mcp

Más servidores de otros

Ver los 8395 →
ServidorEjecuciónEndpoint o paquete
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.Remoto · HTTPComprobación en directo: ✓ negociación inicialeumoney.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.Remoto · HTTPComprobación en directo: ✓ negociación inicialnlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps.Remoto · HTTPComprobación en directo: requiere inicio de sesiónmcp.apify.com
EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought.Remoto · HTTPComprobación en directo: ✗ sin negociación inicialapi.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 y HTTPnpm: @cyanheads/evals-mcp-server