verirun for Grok
io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
client:Grok
transport:stdio
runtime:npm
Install verirun in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"verirun": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"verirun"
],
"env": {
"VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
"VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
"VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
}
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs