NestDaddy
All servers NestDaddy MCP Blog Sign inTry it free
AI and media

Verirun

io.github.baopeak/verirun ยท v0.2.1-dev

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

Source code Set it up

Connect Runs on your machine

Terminal
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 [email protected]
claude_desktop_config.json
{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
        "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
        "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "verirun": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
        "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

NameDescription
VERIRUN_ALLOW_INPUT_INJECTION
Optional		Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.
VERIRUN_ALLOW_ENDPOINT_REPIN
Optional		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
Optional		Override the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs).

Details

Package[email protected] (NPM, stdio)
First published14 Sep 2026
Last updated14 Sep 2026
Registry nameio.github.baopeak/verirun

More ai and media servers See all

  • bv7x strategy agents

    Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

  • Chronary

    Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

  • Mastering

    Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

  • Modulos AI Governance Platform

    Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

  • naulon

    Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

  • NextConstraint

    Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.