MCP Server

io.github.baopeak/verirun MCP Server

io.github.baopeak/verirun

Repository Registry

What is the io.github.baopeak/verirun MCP server?

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

How to install io.github.baopeak/verirun

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

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

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun",
        "mcp"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<YOUR_VERIRUN_ALLOW_INPUT_INJECTION>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<YOUR_VERIRUN_ALLOW_ENDPOINT_REPIN>",
        "VERIRUN_DATA_DIR": "<YOUR_VERIRUN_DATA_DIR>"
      }
    }
  }
}