{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"stdio"},"description":"Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.","name":"io.github.baopeak/verirun","packages":[{"environmentVariables":[{"isRequired":true,"isSecret":false,"name":"VERIRUN_ALLOW_INPUT_INJECTION"},{"isRequired":true,"isSecret":false,"name":"VERIRUN_ALLOW_ENDPOINT_REPIN"},{"isRequired":true,"isSecret":false,"name":"VERIRUN_DATA_DIR"}],"identifier":"verirun","registryType":"npm","transport":{"type":"stdio"},"version":"0.2.1-dev"}],"repository":{"source":"github","url":"https://github.com/baopeak/verirun"},"title":"verirun","version":"0.2.1-dev"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:58:33Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:58:33Z"}}}