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.
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.
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 mcp add verirun -- npx -y verirun
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}
[mcp_servers.verirun]
command = "npx"
args = ["-y", "verirun"]
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}
{
"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)).
Evidence-gated verification, selection, and measurement MCP for coding agents.
Bounded authorization and independently verifiable execution evidence for agents.
Fast, bounded, read-only Git evidence for local AI coding agents.
Policy-aware AI execution, verification, cost, and trajectory evidence for agents.
Verification and memory layer for coding-agent workflows.
Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.
Executable mathematics and independent verification for AI agents.
Evidence-backed x402 web verification for AI agents, with auditable decisions for every condition.
Answers built from our own checks of this server.