Ontwikkeling · Lokale MCP-server

Verirun

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

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.baopeak/verirun
Versie
0.2.1-dev
Status
Actief
Categorie
ontwikkeling
Transport
stdio (lokaal proces)
Pakket
npm
Gepubliceerd
14 september 2026
Bijgewerkt
14 september 2026
Uitgever
baopeak (GitHub)
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/baopeak) · hoe
Repository
github.com/baopeak/verirun
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
npmruntime: npxverirun0.2.1-devstdioVERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN en VERIRUN_DATA_DIR

Zo verbind je Verirun

Verirun draait lokaal vanuit een Node.js-pakket dat in het npm-register is gepubliceerd: verirun, versie 0.2.1-dev. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Node.js; clients starten het meestal met npx - het gebruikelijke commando is npx -y verirun@0.2.1-dev. Hij leest deze omgevingsvariabelen: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN en VERIRUN_DATA_DIR; stel ze in de configuratie van de client voor deze server in.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer servers in de categorie ontwikkeling

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