Verirun MCP Server
by baopeakio.github.baopeak/verirunv0.2.1-dev
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
context tax
queued
security
queued
cold start
queued
freshness
Active26d ago
Install Verirun MCP server
Install in Claude Code
claude mcp add verirun -- npx -y verirunInstall in Cursor
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"verirun": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Configuration
| Variable | Required | Secret | Description |
|---|---|---|---|
| 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). |
Freshness
Active — last maintenance signal 26d ago. The newest of the signals below sets the band.
Last commit (default branch)
no data · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-09-14 · 26d ago · official registry · v0.2.1-dev
FAQ
›How do I install the Verirun MCP server in Claude Code?
Run: claude mcp add verirun -- npx -y verirun. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Verirun require an API key?
No required environment variables are declared in its published metadata.
›Can I use Verirun as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Verirun in the official MCP registry?
Yes, as io.github.baopeak/verirun.