Verirun

Windows-only local MCP server that gives AI coding agents execution-grounded verification, recording evidence instead of relying on agent claims.

What you can do

• Verifies coding-agent work by actually running it on Windows and capturing evidence records.
• Keeps an evidence-record directory for runs, which can be relocated.
• Guards declared endpoints against DNS changes, refusing a moved endpoint unless explicitly allowed.
• Optionally permits OS-wide send-input and click actions (Tier C) when enabled by the user.

When to use it

Useful when you want an AI coding agent's claims about its changes checked by real execution on a Windows machine, and you want a recorded trail of that verification rather than the agent's own word.

Requirements

Runs as a local stdio process via npx (Node.js). Windows desktop only; no web execution. Optional environment variables: VERIRUN_DATA_DIR to change the evidence-record directory, VERIRUN_ALLOW_ENDPOINT_REPIN to allow endpoints whose DNS answer moves, and VERIRUN_ALLOW_INPUT_INJECTION to enable OS-wide input and click actions. No authentication declared.