verirun for VS Code
io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
client:VS Code
transport:stdio
runtime:npm
Install verirun in VS Code
.vscode/mcp.json
{
"inputs": [
{
"type": "promptString",
"id": "verirun-allow-input-injection",
"description": "VERIRUN_ALLOW_INPUT_INJECTION",
"password": true
},
{
"type": "promptString",
"id": "verirun-allow-endpoint-repin",
"description": "VERIRUN_ALLOW_ENDPOINT_REPIN",
"password": true
},
{
"type": "promptString",
"id": "verirun-data-dir",
"description": "VERIRUN_DATA_DIR",
"password": true
}
],
"servers": {
"verirun": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"verirun"
],
"env": {
"VERIRUN_ALLOW_INPUT_INJECTION": "${input:verirun-allow-input-injection}",
"VERIRUN_ALLOW_ENDPOINT_REPIN": "${input:verirun-allow-endpoint-repin}",
"VERIRUN_DATA_DIR": "${input:verirun-data-dir}"
}
}
}
}VS Code prompts for each input the first time the server starts, so no secret is written to the file. VS Code docs