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 Oct 24, 2026

Oct 24, 2026 : 344 downloadsOct 25, 2026 : 344 downloadsOct 26, 2026 : 344 downloadsOct 27, 2026 : 344 downloadsOct 28, 2026 : 344 downloadsOct 29, 2026 : 344 downloadsOct 30, 2026 : 344 downloads
Exact values · 7 readings
MeasureddownloadsChange
3440
3440
3440
3440
3440
3440
344·