Verirun

io.github.baopeak由 GitHub 帳號 baopeak 發布v0.2.1-dev更新於 Oct 24, 2026

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

已驗證STDIO僅桌面開發者工具安全與監控

概覽

AI 產生的概覽

僅限 Windows 的在地 MCP 伺服器，讓 AI 程式開發代理以實際執行結果為依據進行驗證，並留下證據紀錄而非只憑代理自述。

可以做什麼
  • 在 Windows 上實際執行來核驗程式開發代理的變更，並產生證據紀錄。
  • 維護執行證據紀錄目錄，可自訂存放位置。
  • 對已宣告的端點做 DNS 變更防護，位址變動時預設拒絕。
  • 在使用者開啟後可允許系統層級的送出輸入與點擊（Tier C）操作。
適用情境
當你希望 AI 程式開發代理對變更的說法由 Windows 機器上的真實執行來驗證，並保留可查的驗證紀錄，而不是只相信代理自己的結論時使用。
執行需求
透過 npx 以在地 stdio 程序執行（需要 Node.js）。僅限 Windows 桌面，不支援網頁端執行。選用環境變數：VERIRUN_DATA_DIR 指定證據紀錄目錄，VERIRUN_ALLOW_ENDPOINT_REPIN 允許 DNS 位址變動的端點繼續運作，VERIRUN_ALLOW_INPUT_INJECTION 啟用系統層級輸入與點擊。未宣告任何驗證方式。
安裝前請注意
VERIRUN_ALLOW_INPUT_INJECTION 會開啟系統層級送出輸入與點擊，可操作整個桌面，預設關閉，非必要不要開啟。VERIRUN_ALLOW_ENDPOINT_REPIN 會讓已宣告端點在 DNS 位址變動後繼續可用，削弱端點固定保護。驗證過程會在本機執行程式碼並將證據紀錄寫入磁碟。

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Verirun，將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Desktop only，透過 STDIO。 STDIO 服務會啟動本機處理程序，因此需要 SourceWeft 桌面主機。

其他 MCP 客戶端

參照 儲存庫 中的啟動說明。

README

該儲存庫沒有 README。

工具

0
SourceWeft 尚未在沙箱中啟動過該軟體包，因此其工具未知。

版本歷史

1
  1. v0.2.1-dev最新Sep 16, 2026

評分

已滿足適用檢查項的 25%

該評分衡量此收錄條目的完整程度，依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價，也不表示伺服器安全或目前可用：可連通性是帶日期的檢查結果，評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通25 分

    請保持端點能夠回應 MCP 握手；SourceWeft 每 30 天探測一次。

  • 已宣告認證方式10 分

    請在註冊中心條目中宣告憑證請求標頭，或保持端點能夠回應探測，以便判定其認證方式。

  • 已列出工具15 分

    請讓伺服器在無憑證時回應 tools/list，或發布可在沙箱中無憑證啟動的軟體包。

  • 描述必需15 分
  • 圖示10 分
  • 文件15 分

    請宣告包含 README 的 GitHub 儲存庫，或在 OAuth 受保護資源後設資料中提供 resource_documentation。

  • 授權條款10 分

    請在儲存庫或註冊中心條目中宣告授權條款。