English Français العربية

io.github.baopeak/verirun

Official registry Developer tools

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

Source code

Install

Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).

NPM package verirun
Claude Code 
claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "verirun": {
            "command": "npx",
            "args": [
                "-y",
                "verirun@0.2.1-dev"
            ],
            "env": {
                "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
                "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
                "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
            }
        }
    }
}

Environment variables

  • 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).

Frequently asked questions

What is io.github.baopeak/verirun?

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

How do I install io.github.baopeak/verirun?

It runs on your machine. In Claude Code: claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev. For other clients, paste the JSON configuration from this page into their MCP settings.

Does io.github.baopeak/verirun need an API key?

Its registry entry lists no required key or secret. Some features may still need an account with the service it connects to.

Is io.github.baopeak/verirun open source?

Its code is public on GitHub, but the repository does not declare a standard license.

Who maintains io.github.baopeak/verirun?

It is published by baopeak. AI.tn lists it but does not maintain or endorse it.

From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.