MCP servers
verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
verirun · npm 0.2.1-dev · stdio
claude mcp add --transport stdio verirun -- npx -y verirun@0.2.1-devServer details
- Registry name
- io.github.baopeak/verirun
- Version
- 0.2.1-dev
- Registry status
- active
- Repository
- baopeak/verirun
- First published
- Source
- Official MCP Registry
- Last refreshed
