AgentUni
Developer ToolsAI Models & AgentsFiles & System

verirun

by @baopeak / v0.2.1-dev

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

Install

npm / stdio

npx -y verirun

Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)

{
  "mcpServers": {
    "io-github-baopeak-verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ]
    }
  }
}

Source: official MCP Registry record · registry name io.github.baopeak/verirun · published 2026-09-14 · updated 2026-09-14. Not an endorsement; review the code before connecting it to anything sensitive.

Similar

More Developer Tools servers

Browse category

BuildPulse

Remote

@BuildPulseLLC / Developer Tools

BuildPulse CI test analytics for AI agents — flaky tests, CI failures, flakiness, and code coverage.

npm

LiveVariant

Remote

@livevariant / Developer Tools

Build, inspect and read adaptive A/B tests. Config travels in the URL; no account or API key needed.

npm

authshore

Remote

@jyswee / Developer Tools

Auth infrastructure for coding agents. User pools, secrets vault, token management. As easy as git.

npm

GitHits

Remote

com.githits / Developer Tools

Search public open-source code, documentation, metadata, vulnerabilities, changelogs, and examples.

npm

Marigold

Remote

@immuneeb / Developer Tools

Comment on AI-generated webpages; feedback flows back to your coding agent. Free, MIT, local-first.

npm

MockHero

Remote

@dinosaur24 / Developer Tools

Generate realistic relational test data — 156 field types, 22 locales, JSON/CSV/SQL, free previews.

npm