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

RegistroPaqueteVersiónTransporteVariables de entorno
npmentorno de ejecución: npxverirun0.2.1-devstdioVERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN y VERIRUN_DATA_DIR

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

Ver los 5152 →
ServidorEjecuciónEndpoint o paquete
Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped).Local · stdionpm: @cognitivemyriad/vrm-local
Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers.Local · stdioPyPI: verify-api-mcp
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 · stdionpm: @forestrie/mcp-verify
verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them.Local · stdioPyPI: verimcp
VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.Local · stdionpm: veris-core
VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant.Remoto · HTTPComprobación en directo: requiere inicio de sesiónveriteknik.com
Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client.Local · stdionpm: @verlon-ai/mcp
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ónmcp.versionly.dev