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
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| PyPIruntime: uvx | euclid-mcp | 0.4.5 | stdio |
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)
| Server | Esecuzione |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Locale · stdio |
Altri server della categoria altro
| Server | Esecuzione |
|---|---|
| EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance. | Locale · stdio |
| EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője. | Remoto · HTTPVerifica live: ✓ handshake |
| Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001. | Locale · stdio |
| 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: ✓ handshake |
| Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps. | Remoto · HTTPVerifica live: accesso richiesto |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Remoto · HTTPVerifica live: ✗ nessun handshake |
| EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more). | Locale · stdio |
| Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders. | Locale · stdio e HTTP |