Verirun

面向 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 启用系统级输入与点击。未声明任何认证方式。