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

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs.

מה ה-MCP Registry מציין

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

שם במרשם
io.github.rafapra3008/lu-mcp-server
גרסה
0.1.1
סטטוס
פעיל
קטגוריה
אחרים
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
PyPI
פורסם
15 במרץ 2026
עודכן
15 במרץ 2026
מפרסם
rafapra3008 (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/rafapra3008) · איך
מאגר קוד
github.com/rafapra3008/cervellaswarm.git
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
PyPIסביבת ריצה: uvxlu-mcp-server0.1.1stdioלא הוצהרו

איך מחברים את Lingua Universale MCP Server

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

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

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

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

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

כל ה-8,395 ←
שרתהרצהנקודת קצה או חבילה
Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies.מקומי · stdionpm: @toolwright-adk/linear-bootstrap
LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics.מרוחק · HTTP ו-SSEבדיקה חיה: ✓ לחיצת ידlineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידlingoris.fr
Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✓ לחיצת ידhongchenlingjing.com
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידmcp.apify.com
Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידhandsofflinks-mcp.lipmichal.workers.dev
Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידlink-preview-api-z4nf.onrender.com
Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required.מקומי · stdionpm: link-shortener-mcp