Verirun MCP Server

by baopeak Your server? Claim it

local only

Verirun runs on your own machine — the client starts it, so there is no endpoint to ping. 141 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 140 · avg 10 · +11% w/w

a month agotoday

141

Installs / week

npm · verirun

—

Stars

on GitHub

—

Last commit

0 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.

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.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add verirun -- npx -y verirun

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "verirun": {
      "args": [
        "-y",
        "verirun"
      ],
      "command": "npx"
    }
  }
}

~/.codex/config.toml

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

.cursor/mcp.json

{
  "mcpServers": {
    "verirun": {
      "args": [
        "-y",
        "verirun"
      ],
      "command": "npx"
    }
  }
}

.vscode/mcp.json

{
  "mcpServers": {
    "verirun": {
      "args": [
        "-y",
        "verirun"
      ],
      "command": "npx"
    }
  }
}

Alternatives to Verirun

same job, measured the same way

Elite Reasoning MCP

by snehgabani

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

43 installs/wk local only

Pullboard

by pullboard

Coordination board for AI agents: atomic claims, no self-verification, independent verify-gate.

answering

Weavatrix Git

by sergii-ziborov

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

186 installs/wk local only

Koda

by aabxtract

Verification and memory layer for coding-agent workflows.

317 installs/wk local only

Jacobian

by morluto

Executable mathematics and independent verification for AI agents.

633 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

California Bitcoin

by californiabitcoin

Source-backed Bitcoin research, claim verification, evidence, and timelines for AI agents.

9 tools answering

AegisAI

by kadopi

Paid pre-execution risk verification for AI agents over MCP and x402.

17 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 141 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 with the file path 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 141 times in the last week. Week over week that is +11%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.