mcpbeat Sign in

Verirun MCP Server

local only

Verirun runs on your own machine — the client starts it, so there is no endpoint to ping. 16 installs a week from npm.

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

The linked repository no longer exists on GitHub — it was deleted or made private.

Installs per day peak 172 · avg 19 · -12% w/w
a month agotoday
16
Installs / week
npm · verirun
—
Stars
on GitHub
—
Last commit
4 releases in 90 days
—
License
language unknown

This one has been quiet for a while

Quiet is not dead — but it is worth knowing when it wakes up, or when someone else takes it over. We watch the repository and tell you either way.

Three servers free · no card

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

run in your terminal
claude mcp add verirun -- npx -y verirun
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ]
    }
  }
}
~/.codex/config.toml
[mcp_servers.verirun]
command = "npx"
args = ["-y", "verirun"]
.cursor/mcp.json
{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "verirun": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ]
    }
  }
}

Optional settings from the registry entry, left out of the block above: 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)).

Alternatives to Verirun

same job, measured the same way
Elite Reasoning MCP
by snehgabani

Evidence-gated verification, selection, and measurement MCP for coding agents.

local only
PriorSeal
by imokokok

Bounded authorization and independently verifiable execution evidence for agents.

12 tools answering
Weavatrix Git
by sergii-ziborov

Fast, bounded, read-only Git evidence for local AI coding agents.

19 installs/wk local only
ModelPilot Execution Decision Engine
by andycywu

Policy-aware AI execution, verification, cost, and trajectory evidence for agents.

answering
Koda
by aabxtract

Verification and memory layer for coding-agent workflows.

27 installs/wk local only
minitok
by minitok

Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.

181 installs/wk local only
Jacobian
by morluto

Executable mathematics and independent verification for AI agents.

81 installs/wk local only
MCP x402 - Evidence-Backed Web Verification
by diogoup26

Evidence-backed x402 web verification for AI agents, with auditable decisions for every condition.

3 tools answering

Verirun — questions

Answers built from our own checks of this server.

Why is there no uptime for Verirun?
Verirun runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the npm package verirun was installed 16 times last week.
Is Verirun still maintained?
The linked repository no longer exists on GitHub — it was deleted or made private. We show this because it changes what you can expect: an unmaintained server may keep answering for months and then stop without warning.
How do I connect Verirun?
Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It runs locally, so the command pulls verirun straight from npm; nothing to host, nothing to sign up for.
How many people use Verirun?
The npm package verirun was installed 16 times in the last week. Week over week that is -12%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.