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
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| npmruntime: npx | verirun | 0.2.1-dev | stdio |
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
| Server | Draait |
|---|---|
| Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped). | Lokaal · stdio |
| Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers. | Lokaal · 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. | Lokaal · stdio |
| verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them. | Lokaal · stdio |
| VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. | Lokaal · stdio |
| VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant. | Extern · HTTPLivecontrole: inloggen vereist |
| Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client. | Lokaal · stdio |
| VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs. | Extern · HTTPLivecontrole: inloggen vereist |