io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Servidor MCP · de baopeak
Resumo
io.github.baopeak/verirun é um servidor MCP publicado por baopeak. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Roda na sua máquina
- Configurações: 3
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Pacote
- Downloads do npm por semana: 49 (2026-10-13)
- Downloads do npm por mês: 478 (2026-10-13)
- Última versão no npm: 0.2.1-dev, publicada em 2026-09-14
Nenhuma vulnerabilidade conhecida no OSV para 0.2.1-dev (verificado em 2026-10-13)
Os dados do npm vêm do registro público do npm (registry.npmjs.org, api.npmjs.org). Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote npm
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio verirun -- npx -y mcp verirun[mcp_servers.verirun]
command = "npx"
args = ["-y", "mcp", "verirun"]{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"mcp",
"verirun"
]
}
}
}Configurações opcionais que também indica: VERIRUN_ALLOW_ENDPOINT_REPIN, VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_DATA_DIR.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.2.1-dev | Downloads por mês (npm): 478 Downloads por semana (npm): 49 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
veris io.github.vighriday/veris
Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
-
elite-reasoning-mcp io.github.Snehgabani/elite-reasoning-mcp
Evidence-gated verification, selection, and measurement MCP for coding agents.
-
hrevn-mcp-server io.github.ai-human-andalusia/hrevn-mcp-server
HREVN trust layer for baseline diagnostics and verifiable workflow integrity for AI agents.
-
Security audit for AI agents: code, deps, exposure, secrets, drift, SBOM, and IoC.
-
regressguard io.github.Bharath-code/regressguard
Deterministic API regression checks for AI agents: snapshot a baseline, catch broken contracts.
-
runvouch com.runvouch/runvouch
Watchdog for unattended AI agents: alerts, evidence checks and a verifiable proof per run.
-
Verification videos for AI coding agents: record the run, upload over MCP, share a viewer link.
-
ai-validation io.github.ZUHcYa/ai-validation
Independent AI code validation: test bias, edge cases, coverage gaps.
-
Agentic code review, no signup to try: reality gates + frontier-model review, with veto.
-
glassbox-framework io.github.TheBarmaEffect/glassbox-framework
Runtime constitutional verification for AI answers — claim reasoning, ECS, red team, audits.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
evalview-mcp io.github.hidai25/evalview-mcp
Regression testing for AI agents. Golden baselines, CI/CD, LangGraph, CrewAI, OpenAI, Claude.
-
vynn-mcp io.github.beee003/vynn-mcp
Self-improving AI workflows with backtesting, prompt optimization, and scheduling
-
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
-
eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp
Eu Ai Act Compliance MCP Server by MEOK AI Labs
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
Listado em Claude Code: claude-plugins-official (5)
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
-
MCP server for AI coding agents to create, manage, and interact with Quarkus applications. Provides tools for project scaffolding, dev mode lifecycle, extension skills, Dev MCP…
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
Listado em Claude: knowledge-work-plugins (5)
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
MCP server for terminal commands, file operations, and process management
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
Listado em Codex: openai-curated (openai/plugins) (5)
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
Listado em Community GitHub marketplaces (5)
-
twothumbs io.github.asselwan/twothumbs
Verifies AI agent work end to end: real artifacts and outcomes checked, not self-reported success.
-
ai-architect-mcp-spec io.github.cdeust/ai-architect-mcp-spec
PRD verification and host-driven generation with multi-judge consensus across 17 MCP tools.
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
-
codeweb io.github.GhostlyGawd/codeweb
See what your AI edits affect. Structural checks for AI code changes. 28 MCP tools, no LLM.
-
forkflux-mcp io.github.forkflux/forkflux-mcp
Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams
Listado em Copilot CLI: github/awesome-copilot (5)
-
foundry-hosted-agent-copilotkit
Build CopilotKit + AG-UI web apps on Microsoft Foundry hosted agents (Microsoft Agent Framework): wiring, native Foundry primitives, human-in-the-loop approvals, azd deploy, and…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Listado em Cursor: cursor/plugins (5)
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Listado em Docker MCP Catalog (5)
-
testkube-mcp io.github.kubeshop/testkube-mcp
MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
mcp-server-browserbase io.github.browserbase/mcp-server-browserbase
MCP server for AI web browser automation using Browserbase and Stagehand
Listado em Official MCP Registry (5)
-
veris io.github.vighriday/veris
Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
-
elite-reasoning-mcp io.github.Snehgabani/elite-reasoning-mcp
Evidence-gated verification, selection, and measurement MCP for coding agents.
-
hrevn-mcp-server io.github.ai-human-andalusia/hrevn-mcp-server
HREVN trust layer for baseline diagnostics and verifiable workflow integrity for AI agents.
-
Security audit for AI agents: code, deps, exposure, secrets, drift, SBOM, and IoC.
-
regressguard io.github.Bharath-code/regressguard
Deterministic API regression checks for AI agents: snapshot a baseline, catch broken contracts.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.