פיתוח · שרת 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סביבת ריצה: npx | verirun | 0.2.1-dev | stdio |
איך מחברים את 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 · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped). | מקומי · stdio |
| Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers. | מקומי · stdio |
| Verify SCITT receipts from Forestrie transparency logs, offlineVerify a SCITT receipt under a trust root you hold - offline, no backend, no key, no network. | מקומי · stdio |
| verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them. | מקומי · stdio |
| VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. | מקומי · stdio |
| VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client. | מקומי · stdio |
| VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |