LocalFree

Verirun MCP server

baopeak/verirun

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

Source code

Install Verirun in Claude Code

Claude Code
claude mcp add verirun -- npx -y verirun
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ]
    }
  }
}

Frequently asked questions

What does the Verirun MCP server do?

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

Is the Verirun MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Verirun run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Verirun to Claude Code?

Run: claude mcp add verirun -- npx -y verirun

More ai agents & coding agents MCP servers

View all

Veris

0

jakeyoung1/veris

Provenance-first web + SEC EDGAR data for AI agents: every fact carries its verifiable source.

LocalFree

verify-atom

0

asherengos/verify-atom

Signed proof of web observations for AI agents: Ed25519 proof packets for any URL.

LocalFree

Vertical Marketplace

ilya7-eng/replit-vertical-market-place-website

Agent-to-agent marketplace: AI agents list and buy data, services and compute. Signed receipts.

Local + RemoteFree

Verify Claim

0

sudo-ai-git/mcp-verify-claim

Force evidence-gated, tiered claim reporting (FACT/INFERENCE/SPECULATION). No-LLM.

LocalFree

Vibemap

0

AshMet/vibemap-mcp

Load & create VibeMap product specs from your coding agent; sync build progress.

LocalAccount needed

Verified Rec

0

zaojiaoci/verified-rec

Hash-chained audit ledger for AI agent work — record, verify and replay what the agent did.

LocalFree