Skip to content
plugmcp
DirectorySkillsCategoriesBlog
EN/中文
Sign inSign up
Home/Servers/Verirun

Verirun

I
by io.github.baopeak

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

Power your agent

Add this server

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

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Related MCP

View more
  • Firecrawl🔥 Official Firecrawl MCP Server - Adds powerful web scraping and search to Cursor, Claude and any other LLM clients.
  • N
    NotionToken-auth Notion MCP: pages, databases, blocks, comments, files. Runs headless in CI and agents.
  • Context7Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

Related skills

View all
  • reaReverse engineer anything with agents, from app behavior down to native binaries.
  • rea-changelog-updatePrepare or rewrite REA release changelogs and GitHub release notes from pinned Git history, with verified contributor thanks and Release Please synchronization.
  • rea-tool-designDesign or change REA investigation tools, CLI/MCP contracts, provider capabilities, and Evidence semantics.

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.

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

README is not crawled yet. Open the repository

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.

No tool list yet. Remote servers get one after the first health check.

plugmcp

Plug any tool into any agent. MCP servers for people who do not write servers. Gateway for volume, n8n for apps.

  • github.com/TODO
  • x.com/TODO
  • linkedin.com/company/TODO

PlugMCP, 2026

Product
  • Browse
  • Install
  • Host your own
  • Pricing
  • Voice mode
  • Browser
Directory
  • All MCP servers
  • MCP Apps
  • Tools
  • Agent skills
  • Categories
  • New
  • Voice
  • Submit a server
Developers
  • Docs
  • Blog
  • Club
  • Work with us
  • What is MCP
  • What is WebMCP
  • Status
Company
  • About
  • Contact
  • Terms
  • Privacy
  • DPA