How do I install Verirun?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Verirun need an API key?

The publisher lists these environment variables: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN, VERIRUN_DATA_DIR.

What transport does Verirun use?

Verirun runs locally over stdio.

Verirun

by io.github.baopeak

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

接入你的智能体

添加此服务器

The publisher's own command. Not a PlugMCP endpoint.

Local command

npx -y [email protected]

Credentials from the publisher

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

Provider

Claude Code

VERIRUN_ALLOW_INPUT_INJECTION=<value> VERIRUN_ALLOW_ENDPOINT_REPIN=<value> VERIRUN_DATA_DIR=<value> claude mcp add io.github.baopeak-verirun -- npx -y [email protected]

Run in a terminal.

Claude Desktop

{
  "mcpServers": {
    "io.github.baopeak-verirun": {
      "command": "npx",
      "args": [
        "-y",
        "[email protected]"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<value>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<value>",
        "VERIRUN_DATA_DIR": "<value>"
      }
    }
  }
}

claude_desktop_config.json

Step-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

在 PlugMCP 上运行

用我们的密钥与日志托管一份副本。

这是你新建的服务器，不是此条目的官方端点。若要用发布方的 URL 与凭证，请使用上方安装面板。

启动

Related MCP

Related skills

View all

Questions

How do I install Verirun?: Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does Verirun need an API key?: The publisher lists these environment variables: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN, VERIRUN_DATA_DIR.
What transport does Verirun use?: Verirun runs locally over stdio.
When was Verirun last checked?: Last checked 2026-10-16. Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.

README is not crawled yet. Open the repository