פיתוח · שרת MCP מקומי

Verirun

Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.

מה ה-MCP Registry מציין

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

שם במרשם
io.github.baopeak/verirun
גרסה
0.2.1-dev
סטטוס
פעיל
קטגוריה
פיתוח
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
npm
פורסם
14 בספטמבר 2026
עודכן
14 בספטמבר 2026
מפרסם
baopeak (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/baopeak) · איך
מאגר קוד
github.com/baopeak/verirun
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
npmסביבת ריצה: npxverirun0.2.1-devstdioVERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN ו-VERIRUN_DATA_DIR

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

Verirun רץ באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: verirun, גרסה 0.2.1-dev. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y verirun@0.2.1-dev. הוא קורא את משתני הסביבה האלה: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN ו-VERIRUN_DATA_DIR; יש להגדיר אותם בתצורת הלקוח עבור השרת הזה.

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

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun@0.2.1-dev"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<ערך>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<ערך>",
        "VERIRUN_DATA_DIR": "<ערך>"
      }
    }
  }
}

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

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

כל ה-5,152 ←
שרתהרצהנקודת קצה או חבילה
Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped).מקומי · stdionpm: @cognitivemyriad/vrm-local
Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers.מקומי · stdioPyPI: verify-api-mcp
Verify SCITT receipts from Forestrie transparency logs, offlineVerify a SCITT receipt under a trust root you hold - offline, no backend, no key, no network.מקומי · stdionpm: @forestrie/mcp-verify
verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them.מקומי · stdioPyPI: verimcp
VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.מקומי · stdionpm: veris-core
VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant.מרוחק · HTTPבדיקה חיה: נדרשת התחברותveriteknik.com
Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client.מקומי · stdionpm: @verlon-ai/mcp
VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs.מרוחק · HTTPבדיקה חיה: נדרשת התחברותmcp.versionly.dev