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
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPIentorno de ejecución: uvx | euclid-mcp | 0.4.5 | stdio |
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)
| Servidor | Ejecución |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Local · stdio |
Más servidores de otros
| Servidor | Ejecución |
|---|---|
| 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. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| 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. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Remoto · HTTPComprobación en directo: ✗ sin negociación inicial |
| 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 y HTTP |