Desarrollo · Servidor MCP local
Verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
io.github.baopeak/verirun- Versión
- 0.2.1-dev
- Estado
- Activo
- Categoría
- desarrollo
- Transporte
- stdio (proceso local)
- Paquete
- npm
- Publicado
- 14 de septiembre de 2026
- Actualizado
- 14 de septiembre de 2026
- Editor
- baopeak (GitHub)
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/baopeak) · cómo
- Repositorio
- github.com/baopeak/verirun
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| npmentorno de ejecución: npx | verirun | 0.2.1-dev | stdio |
Cómo conectar Verirun
Verirun se ejecuta en local a partir de un paquete de Node.js publicado en el registro npm: verirun, versión 0.2.1-dev. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Node.js; los clientes suelen iniciarlo con npx - el comando habitual es npx -y verirun@0.2.1-dev. Lee estas variables de entorno: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN y VERIRUN_DATA_DIR; hay que definirlas en la configuración del cliente para este servidor.
En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun@0.2.1-dev"
],
"env": {
"VERIRUN_ALLOW_INPUT_INJECTION": "<valor>",
"VERIRUN_ALLOW_ENDPOINT_REPIN": "<valor>",
"VERIRUN_DATA_DIR": "<valor>"
}
}
}
}Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más servidores de desarrollo
| Servidor | Ejecución |
|---|---|
| Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped). | Local · stdio |
| Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers. | Local · stdio |
| Verify SCITT receipts from Forestrie transparency logs, offlineVerify a SCITT receipt under a trust root you hold - offline, no backend, no key, no network. | Local · stdio |
| verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them. | Local · stdio |
| VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. | Local · stdio |
| VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client. | Local · stdio |
| VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |