אחרים · שרת 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סביבת ריצה: uvx | lu-mcp-server | 0.1.1 | stdio |
איך מחברים את 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 · לפני שמתחברים
עוד שרתים בקטגוריה אחרים
| שרת | הרצה |
|---|---|
| Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies. | מקומי · stdio |
| LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics. | מרוחק · HTTP ו-SSEבדיקה חיה: ✓ לחיצת יד |
| Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✓ לחיצת יד |
| Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required. | מקומי · stdio |