Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Verirun is an MCP integration. Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
The published npm package is verirun, version 0.2.1-dev. Its declared MCP transport is stdio.
The package declares VERIRUN_ALLOW_INPUT_INJECTION: Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.; VERIRUN_ALLOW_ENDPOINT_REPIN: Set to 1 to let a declared endpoint keep working after its DNS answer moves to a different address (each move is recorded). Off by default: a moved endpoint is refused.; VERIRUN_DATA_DIR: Override the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs)..
This package has launch arguments in its registry record. Use the maintainer’s configuration for those arguments rather than launching it with only the package name.
Check the maintainer’s instructions for account access, authentication and the supported client configuration. Once connected, inspect the tools your client receives and try a small task that matches the server’s stated purpose. The registry description does not include a verified, complete tool list.
View the publisher’s registry entry · Project repository. This profile uses version 0.2.1-dev from the registry. Registration identifies the publisher namespace; it does not establish that this is a first-party integration for every service it connects.
Browse related developer tools MCP servers for tools that cover the same kind of work.
| Variable | Description | Required |
|---|---|---|
| VERIRUN_ALLOW_INPUT_INJECTION | Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default. | Optional |
| VERIRUN_ALLOW_ENDPOINT_REPIN | Set to 1 to let a declared endpoint keep working after its DNS answer moves to a different address (each move is recorded). Off by default: a moved endpoint is refused. | Optional |
| VERIRUN_DATA_DIR | Override the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs). | Optional |
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
Use Microsoft’s Playwright MCP server to navigate pages, inspect accessibility snapshots, fill forms and capture browser screenshots.
Connect GitHub MCP to repositories, issues and pull requests with GitHub’s hosted service or a locally run server.
Use the Supabase MCP server to inspect database schemas, query project data and retrieve docs through a project-scoped connection.
Search Linear issues and projects, inspect work context and manage updates through Linear’s hosted MCP server with OAuth.