Développement · Serveur MCP local

Verirun

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

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.baopeak/verirun
Version
0.2.1-dev
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
npm
Publié
14 septembre 2026
Mis à jour
14 septembre 2026
Éditeur
baopeak (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/baopeak) · comment
Dépôt
github.com/baopeak/verirun
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmenvironnement d’exécution : npxverirun0.2.1-devstdioVERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN et VERIRUN_DATA_DIR

Comment connecter Verirun

Verirun s’exécute en local depuis un paquet Node.js publié sur le registre npm : verirun, version 0.2.1-dev. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y verirun@0.2.1-dev. Il lit ces variables d’environnement : VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN et VERIRUN_DATA_DIR ; définissez-les dans la configuration du client pour ce serveur.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
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.Distant · HTTPVérification en direct : connexion requiseveriteknik.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.Distant · HTTPVérification en direct : connexion requisemcp.versionly.dev