VERAX for VS Code
io.github.verax-ai/verax
The body an agent asks before it acts: decide, approve, and keep a signed record on your machine.
client:VS Code
transport:stdio
runtime:npm
Install VERAX in VS Code
.vscode/mcp.json
{
"inputs": [
{
"type": "promptString",
"id": "verax-issuer",
"description": "VERAX_ISSUER",
"password": true
},
{
"type": "promptString",
"id": "verax-jwks-url",
"description": "VERAX_JWKS_URL",
"password": true
},
{
"type": "promptString",
"id": "verax-audience",
"description": "VERAX_AUDIENCE",
"password": true
},
{
"type": "promptString",
"id": "verax-state-dir",
"description": "VERAX_STATE_DIR",
"password": true
},
{
"type": "promptString",
"id": "verax-policy-file",
"description": "VERAX_POLICY_FILE",
"password": true
},
{
"type": "promptString",
"id": "verax-bind",
"description": "VERAX_BIND",
"password": true
},
{
"type": "promptString",
"id": "verax-inventory-file",
"description": "VERAX_INVENTORY_FILE",
"password": true
}
],
"servers": {
"verax": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@verax-ai/body"
],
"env": {
"VERAX_ISSUER": "${input:verax-issuer}",
"VERAX_JWKS_URL": "${input:verax-jwks-url}",
"VERAX_AUDIENCE": "${input:verax-audience}",
"VERAX_STATE_DIR": "${input:verax-state-dir}",
"VERAX_POLICY_FILE": "${input:verax-policy-file}",
"VERAX_BIND": "${input:verax-bind}",
"VERAX_INVENTORY_FILE": "${input:verax-inventory-file}"
}
}
}
}
VS Code prompts for each input the first time the server starts, so no secret is written to the file. VS Code docs