English Français العربية

io.github.baopeak/verirun

Registre officiel Outils de développement

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

Code source

Installation

Ajoutez ceci à la configuration MCP de votre client (Claude Desktop : claude_desktop_config.json ; Cursor : .cursor/mcp.json ; VS Code et les autres utilisent la même forme « mcpServers »).

NPM package verirun
Claude Code 
claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev
Configuration JSON (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "verirun": {
            "command": "npx",
            "args": [
                "-y",
                "verirun@0.2.1-dev"
            ],
            "env": {
                "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
                "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
                "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
            }
        }
    }
}

Variables d'environnement

  • VERIRUN_ALLOW_INPUT_INJECTION Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.
  • VERIRUN_ALLOW_ENDPOINT_REPIN Set to 1 to let a declared endpoint keep working after its DNS answer moves to a different address (each move is recorded). Off by default: a moved endpoint is refused.
  • VERIRUN_DATA_DIR Override the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs).

Questions fréquentes

Qu'est-ce que io.github.baopeak/verirun ?

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

Comment installer io.github.baopeak/verirun ?

Il s'exécute sur votre machine. Dans Claude Code : claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev. Pour les autres clients, collez la configuration JSON de cette page dans leurs réglages MCP.

Faut-il une clé API pour io.github.baopeak/verirun ?

Son entrée au registre n'indique aucune clé ni secret obligatoire. Certaines fonctions peuvent tout de même demander un compte auprès du service auquel il se connecte.

io.github.baopeak/verirun est-il open source ?

Son code est public sur GitHub, mais le dépôt ne déclare pas de licence standard.

Qui maintient io.github.baopeak/verirun ?

Il est publié par baopeak. AI.tn le référence sans le maintenir ni le recommander.

Issu du registre MCP officiel. Être listé n'est pas une recommandation : vérifiez le code et les permissions d'un serveur avant de lui donner accès à vos données.