verirun MCP

v0.2.1-dev

io.github.baopeak/verirun

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

transport:stdio runtime:npm

Target client

run in your project directory

claude mcp add verirun -e VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION> -e VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN> -e VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR> -- npx -y verirun

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.

Secrets and scopes

The registry records which variables this server needs, not what privileges they must carry. Issue each one with the narrowest scope that works.

VERIRUN_ALLOW_INPUT_INJECTION
VERIRUN_ALLOW_ENDPOINT_REPIN
VERIRUN_DATA_DIR

Runtime

Transport stdio

Registry npm

Package verirun

Version 0.2.1-dev

Provenance Official registry

Package managers

npx npm pnpm yarn bun Homebrew apt Chocolatey winget conda

npx -y verirun

npm install -g verirun

pnpm dlx verirun

yarn dlx verirun

bunx verirun

Want a slot? Make an offer

Registry record

Repository https://github.com/baopeak/verirun

Synced 16 h ago

JSON API /api/v0/servers/io.github.baopeak/verirun