Entwicklung · Lokaler MCP-Server
Verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Was die MCP Registry angibt
Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.
- Registry-Name
io.github.baopeak/verirun- Version
- 0.2.1-dev
- Status
- Aktiv
- Kategorie
- Entwicklung
- Transport
- stdio (lokaler Prozess)
- Paket
- npm
- Veröffentlicht
- 14. September 2026
- Aktualisiert
- 14. September 2026
- Herausgeber
- baopeak (GitHub)
- Namensraum
- Namensraum von der MCP Registry über GitHub verifiziert (github.com/baopeak) · So wird verifiziert
- Repository
- github.com/baopeak/verirun
- Quelle
- Eintrag in der Registry-API
Pakete
| Registry | Paket | Version | Transport |
|---|---|---|---|
| npmLaufzeitumgebung: npx | verirun | 0.2.1-dev | stdio |
So verbinden Sie Verirun
Verirun wird lokal ausgeführt, und zwar aus einem in der npm-Registry veröffentlichten Node.js-Paket: verirun, Version 0.2.1-dev. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Node.js; Clients starten das Paket meist mit npx - der übliche Befehl lautet npx -y verirun@0.2.1-dev. Der Server liest diese Umgebungsvariablen: VERIRUN_ALLOW_INPUT_INJECTION, VERIRUN_ALLOW_ENDPOINT_REPIN und VERIRUN_DATA_DIR; legen Sie sie in der Konfiguration des Clients für diesen Server fest.
Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):
{
"mcpServers": {
"verirun": {
"command": "npx",
"args": [
"-y",
"verirun@0.2.1-dev"
],
"env": {
"VERIRUN_ALLOW_INPUT_INJECTION": "<wert>",
"VERIRUN_ALLOW_ENDPOINT_REPIN": "<wert>",
"VERIRUN_DATA_DIR": "<wert>"
}
}
}
}Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden
Weitere Server der Kategorie Entwicklung
| Server | Ausführung |
|---|---|
| Verified Repo MemoryStale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped). | Lokal · stdio |
| Verify APIEvidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers. | Lokal · 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. | Lokal · stdio |
| verimcpTransparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them. | Lokal · stdio |
| VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. | Lokal · stdio |
| VeriTeknikManage VeriTeknik servers, DNS, backups and support tickets from your AI assistant. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client. | Lokal · stdio |
| VersionlyMonitor third-party API changes in GitHub repos, map breaks to files, open reviewable auto-fix PRs. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |