אחרים · שרת MCP מקומי

Euclid-MCP

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

מה ה-MCP Registry מציין

הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.

שם במרשם: io.github.meob/euclid-mcp
גרסה: 0.4.5
סטטוס: פעיל
קטגוריה: אחרים
שכבת תעבורה: stdio (תהליך מקומי)
חבילה: PyPI
פורסם: 21 באוגוסט 2026
עודכן: 21 באוגוסט 2026
מפרסם: meob (GitHub) · 2 שרתים עם דף כאן
מרחב שמות: מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/meob) · איך
מאגר קוד: github.com/meob/Euclid-MCP
מקור: הרשומה ב-API של המרשם

חבילות

מרשם	חבילה	גרסה	שכבת תעבורה	משתני סביבה
PyPIסביבת ריצה: uvx	euclid-mcp	0.4.5	stdio	לא הוצהרו

איך מחברים את Euclid-MCP

Euclid-MCP רץ באופן מקומי מתוך חבילת Python שפורסמה ב-PyPI: euclid-mcp, גרסה 0.4.5. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Python; לקוחות מפעילים אותו בדרך כלל עם uvx (מתוך uv) או אחרי pip install - הפקודה המקובלת היא uvx euclid-mcp.

בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):

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

נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים

עוד מ-meob (GitHub)

כל ה-2 ←

שרת	הרצה	נקודת קצה או חבילה
PostgreSQL CVE & Release IntelligencePostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths.	מקומי · stdio	PyPI: pg-cve-mcp

עוד שרתים בקטגוריה אחרים

כל ה-8,395 ←

שרת	הרצה	נקודת קצה או חבילה
EU Audit TrailTamper-evident audit trail MCP server for EU AI Act & GDPR compliance.	מקומי · stdio	PyPI: eu-audit-mcp
EU MoneyMagyar uniós pályázatok, feltételek, összegek, határidők és útmutatók forrásolt keresője.	מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד	eumoney.hu
Eu Regulations MCPQuery 47 EU regulations (GDPR, NIS2, DORA, AI Act) - 2,438 articles, 3,712 recitals, ISO 27001.	מקומי · stdio	npm: @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.	מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד	nlarqk54pr464oxhmozxd2sc6e0pkdrd.lambda-url.eu-central-1.on.aws
Eudr Parcel ScreenerScreen farm plots for EUDR deforestation risk with the official EU JRC maps.	מרוחק · HTTPבדיקה חיה: נדרשת התחברות	mcp.apify.com
EuearthAn agent-first commons: merit crowns each domain's open model; standing is earned, never bought.	מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד	api.euearth.com
EvalgateStatistical checks an agent runs before trusting an AI eval number (is #1 real, judge bias, more).	מקומי · stdio	PyPI: eval-integrity
Evals MCP ServerAuthor verifiable eval records through a draft→review→revise→submit loop with enforced graders.	מקומי · stdio ו-HTTP	npm: @cyanheads/evals-mcp-server