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

Verso

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

מה ה-MCP Registry מציין

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

שם במרשם
io.github.nvlang/verso
גרסה
0.4.2
סטטוס
פעיל
קטגוריה
אחרים
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
PyPI
פורסם
18 במאי 2026
עודכן
18 במאי 2026
מפרסם
nvlang (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/nvlang) · איך
מאגר קוד
github.com/nvlang/verso-mcp
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
PyPIverso-mcp0.4.2stdioVERSO_MCP_SITES

איך מחברים את Verso

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

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

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ],
      "env": {
        "VERSO_MCP_SITES": "<ערך>"
      }
    }
  }
}

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

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

כל ה-8,395 ←
שרתהרצהנקודת קצה או חבילה
Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.מקומי · stdioPyPI: verity-mcp
VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידmcp.verixid.com
VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידvermarco.com
Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools.מרוחק · HTTP ו-SSEבדיקה חיה: נדרשת התחברותmcp.versionpill.com
VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only.מרוחק · HTTPבדיקה חיה: נדרשת התחברותversusbrief.com
Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches.מקומי · stdionpm: @vertaaux/mcp-server
Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions.מרוחק · HTTPבדיקה חיה: נדרשת התחברותverticalflows.com
Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידmcp.getvest.ai