Altro · Server MCP locale

Euclid-MCP

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

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.meob/euclid-mcp
Versione
0.4.5
Stato
Attivo
Categoria
altro
Trasporto
stdio (processo locale)
Pacchetto
PyPI
Pubblicato
21 agosto 2026
Aggiornato
21 agosto 2026
Editore
meob (GitHub) · 2 server con una pagina qui
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/meob) · come funziona
Repository
github.com/meob/Euclid-MCP
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIruntime: uvxeuclid-mcp0.4.5stdioNessuna dichiarata

Come collegare Euclid-MCP

Euclid-MCP viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: euclid-mcp, versione 0.4.5. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx euclid-mcp.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

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

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server di meob (GitHub)

Tutti e 2 →
ServerEsecuzioneEndpoint o pacchetto
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.Locale · stdioPyPI: pg-cve-mcp

Altri server della categoria altro

Tutti e 8395 →
ServerEsecuzioneEndpoint o pacchetto
EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance.Locale · 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 · HTTPVerifica live: ✓ handshakeeumoney.hu
Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001.Locale · 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 · HTTPVerifica live: ✓ handshakenlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps.Remoto · HTTPVerifica live: accesso richiestomcp.apify.com
EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought.Remoto · HTTPVerifica live: ✗ nessun handshakeapi.euearth.com
EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more).Locale · stdioPyPI: eval-integrity
Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders.Locale · stdio e HTTPnpm: @cyanheads/evals-mcp-server