Overig · Lokale MCP-server
Euclid-MCP
Deterministic logical reasoning engine - facts in Euclid IR, solutions with proof trees.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.meob/euclid-mcp- Versie
- 0.4.5
- Status
- Actief
- Categorie
- overig
- Transport
- stdio (lokaal proces)
- Pakket
- PyPI
- Gepubliceerd
- 21 augustus 2026
- Bijgewerkt
- 21 augustus 2026
- Uitgever
- meob (GitHub) · 2 servers met een pagina hier
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/meob) · hoe
- Repository
- github.com/meob/Euclid-MCP
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| PyPIruntime: uvx | euclid-mcp | 0.4.5 | stdio |
Zo verbind je Euclid-MCP
Euclid-MCP draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: euclid-mcp, versie 0.4.5. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx euclid-mcp.
In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer van meob (GitHub)
| Server | Draait |
|---|---|
| PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths. | Lokaal · stdio |
Meer servers in de categorie overig
| Server | Draait |
|---|---|
| EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance. | Lokaal · stdio |
| EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője. | Extern · HTTPLivecontrole: ✓ handshake |
| Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001. | Lokaal · stdio |
| EU Safety Gate Product RecallsIs this product recalled in the EU? 46,506 official Safety Gate alerts by GTIN, brand or name. | Extern · HTTPLivecontrole: ✓ handshake |
| Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps. | Extern · HTTPLivecontrole: inloggen vereist |
| EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought. | Extern · HTTPLivecontrole: ✗ geen handshake |
| EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more). | Lokaal · stdio |
| Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders. | Lokaal · stdio en HTTP |