SERVER

Verirun

Rank #67,351

io.github.baopeak/verirun

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

2 versions

by baopeak (1 servers)View repository ↗Claim this server

First listed

Sep 6, 2026

Last publish date

Sep 14, 2026

OVERVIEW

Verirun is a Model Context Protocol (MCP) server published by baopeak. It ranks #67,351 of 137,492 servers tracked on MCP Toplist. Verirun is listed on Official MCP, with 2 tracked versions. It was first listed on Sep 6, 2026 and most recently updated on Sep 14, 2026.

STANDING

#67,351of 137,492 tracked serversTop 50%

Ranks ahead of 70,141 of 137,492 servers on MCP Toplist.

CONNECT

Use Verirun

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

npm package

claude mcp add verirun -e "VERIRUN_ALLOW_INPUT_INJECTION=<your VERIRUN_ALLOW_INPUT_INJECTION>" -e "VERIRUN_ALLOW_ENDPOINT_REPIN=<your VERIRUN_ALLOW_ENDPOINT_REPIN>" -e "VERIRUN_DATA_DIR=<your VERIRUN_DATA_DIR>" -- npx -y mcp verirun

Replace each placeholder with your own value before saving.

npm package

[mcp_servers.verirun]
command = "npx"
args = ["-y", "mcp", "verirun"]

[mcp_servers.verirun.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>"

Add to ~/.codex/config.toml. Replace each placeholder with your own value before saving.

npm package

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "mcp",
        "verirun"
      ],
      "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>"
      }
    }
  }
}

Add to claude_desktop_config.json (Settings → Developer → Edit Config). Replace each placeholder with your own value before saving.

npm package

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "mcp",
        "verirun"
      ],
      "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>"
      }
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). Replace each placeholder with your own value before saving.

npm package

{
  "servers": {
    "verirun": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "mcp",
        "verirun"
      ],
      "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>"
      }
    }
  }
}

Save as .vscode/mcp.json in your workspace. Replace each placeholder with your own value before saving.

npm package

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "mcp",
        "verirun"
      ],
      "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>"
      }
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json. Replace each placeholder with your own value before saving.

npm package

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "mcp",
        "verirun"
      ],
      "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>"
      }
    }
  }
}

Replace each placeholder with your own value before saving.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/io.github.baopeak%2Fverirun.svg)](https://mcptoplist.com/server/io.github.baopeak%2Fverirun)

HTML

<a href="https://mcptoplist.com/server/io.github.baopeak%2Fverirun"><img src="https://mcptoplist.com/badge/io.github.baopeak%2Fverirun.svg" alt="MCP Toplist: Top 50% of 137,492" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

Official MCP

ORGANIZATION

baopeak

Organization

baopeak

Servers in org

Versions across org

VERSIONS

Available versions (2)

Version	Published
0.2.1-dev	Sep 14, 2026
0.1.1-dev	Sep 6, 2026

FAQ

Frequently asked questions

Who maintains Verirun?: Verirun is maintained by baopeak, which publishes 1 MCP server (2 total versions) tracked on MCP Toplist.
Is Verirun listed on the Official MCP Registry?: Yes — Verirun is listed on the Official MCP Registry.
How many versions does Verirun have?: MCP Toplist tracks 2 versions of Verirun, most recently published on Sep 14, 2026.
Where can I find the source code for Verirun?: The source code for Verirun is hosted at github.com/baopeak/verirun.

Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE

All MCP Servers Official MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers