Independent deterministic verification for AI-written software. Local, evidence-backed checks.
Runs locally over stdio
This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).
Distributed as an MCP bundle (`https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb`) — download it and import the bundle in your MCP client.