Sviluppo · Server MCP locale

Verirun

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

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.baopeak/verirun
Versione
0.2.1-dev
Stato
Attivo
Categoria
sviluppo
Trasporto
stdio (processo locale)
Pacchetto
npm
Pubblicato
14 settembre 2026
Aggiornato
14 settembre 2026
Editore
baopeak (GitHub)
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/baopeak) · come funziona
Repository
github.com/baopeak/verirun
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
npmruntime: npxverirun0.2.1-devstdioVERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN e VERIRUN_DATA_DIR

Come collegare Verirun

Verirun viene eseguito in locale a partire da un pacchetto Node.js pubblicato nel registro npm: verirun, versione 0.2.1-dev. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y verirun@0.2.1-dev. Legge queste variabili d’ambiente: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN e VERIRUN_DATA_DIR; vanno impostate nella configurazione del client per questo server.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

{
  "mcpServers": {
    "verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun@0.2.1-dev"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<valore>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<valore>",
        "VERIRUN_DATA_DIR": "<valore>"
      }
    }
  }
}

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server della categoria sviluppo

Tutti e 5152 →
ServerEsecuzioneEndpoint o pacchetto
Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped).Locale · stdionpm: @cognitivemyriad/vrm-local
Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers.Locale · 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.Locale · stdionpm: @forestrie/mcp-verify
verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them.Locale · stdioPyPI: verimcp
VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.Locale · stdionpm: veris-core
VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant.Remoto · HTTPVerifica live: accesso richiestoveriteknik.com
Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client.Locale · stdionpm: @verlon-ai/mcp
VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs.Remoto · HTTPVerifica live: accesso richiestomcp.versionly.dev