אחרים · שרת 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 של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| PyPI | verso-mcp | 0.4.2 | stdio |
איך מחברים את 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 · לפני שמתחברים
עוד שרתים בקטגוריה אחרים
| שרת | הרצה |
|---|---|
| Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402. | מקומי · stdio |
| VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools. | מרוחק · HTTP ו-SSEבדיקה חיה: נדרשת התחברות |
| VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches. | מקומי · stdio |
| Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |