verirun

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.baopeak/verirun",
  "description": "Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.",
  "repository": {
    "url": "https://github.com/baopeak/verirun",
    "source": "github"
  },
  "version": "0.2.1-dev",
  "packages": [
    {
      "registryType": "npm",
      "registryBaseUrl": "https://registry.npmjs.org",
      "identifier": "verirun",
      "version": "0.2.1-dev",
      "runtimeHint": "npx",
      "transport": {
        "type": "stdio"
      },
      "runtimeArguments": [
        {
          "value": "mcp",
          "type": "positional"
        }
      ],
      "environmentVariables": [
        {
          "description": "Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.",
          "name": "VERIRUN_ALLOW_INPUT_INJECTION"
        },
        {
          "description": "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.",
          "name": "VERIRUN_ALLOW_ENDPOINT_REPIN"
        },
        {
          "description": "Override the evidence-record directory (default %LOCALAPPDATA%\\Verirun\\runs).",
          "name": "VERIRUN_DATA_DIR"
        }
      ]
    }
  ]
}