Back to MCP servers

io.github.baopeak/verirun

MCP serverMCP registryUnknown

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

Description provenance: Original source

Open canonical source

Measured: Oct 30, 2026 · 51 observations

Domains & Uses

Domains: Agents, skills and MCP

Installation

claude mcp add verirun -- npx verirun

Check at the source

Compatibility and prerequisites must be checked in the official documentation.

https://github.com/baopeak/verirun

Classifications

Nature: Tool

Measurement history

Comparable readings are grouped by signal and unit.

Downloads · last 7 days

344downloads · Oct 30, 2026

0 (0 %)since Sep 30, 2026

Exact values · 29 readings

Measured	downloads	Change
Oct 30, 2026	344	0
Oct 29, 2026	344	0
Oct 28, 2026	344	0
Oct 27, 2026	344	0
Oct 26, 2026	344	0
Oct 25, 2026	344	0
Oct 24, 2026	344	0
Oct 22, 2026	344	0
Oct 21, 2026	344	0
Oct 20, 2026	344	0
Oct 19, 2026	344	0
Oct 18, 2026	344	0
Oct 17, 2026	344	0
Oct 16, 2026	344	0
Oct 15, 2026	344	0
Oct 13, 2026	344	0
Oct 12, 2026	344	0
Oct 11, 2026	344	0
Oct 10, 2026	344	0
Oct 9, 2026	344	0
Oct 8, 2026	344	0
Oct 7, 2026	344	0
Oct 6, 2026	344	0
Oct 5, 2026	344	0
Oct 4, 2026	344	0
Oct 3, 2026	344	0
Oct 2, 2026	344	0
Oct 1, 2026	344	0
Sep 30, 2026	344	·