B2IGE Verify
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
Install
unavailable — hosted endpoints aren’t versioned
mcpb
https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Setup by client
Pick your client — the config below is generated for this server. Copy respects the “Pin version” switch above.
This server ships as a downloadable bundle: https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Format verified against the official Claude Desktop docs ↗.
This server ships as a downloadable bundle: https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Format verified against the official Claude Code docs ↗.
This server ships as a downloadable bundle: https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Format verified against the official Cursor docs ↗.
This server ships as a downloadable bundle: https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Format verified against the official VS Code docs ↗.
This server ships as a downloadable bundle: https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
Format verified against the official Windsurf docs ↗.
GitHub
最近更新于 54 天前 · Apache-2.0 license
About this server
B2IGE Verify Don't trust "done". Prove it. B2IGE Verify is deterministic verification infrastructure for AI written software. It runs real programs under declared contracts, records evidence, and produces a bounded PASS/FAIL/INCONCLUSIVE/ERROR result without asking the coding agent to grade its own…
Summary from the project README — github.com/b2ige2-a11y/b2ige-verify
Distributed as mcpb, listed under Developer Tools. Review our MCP security guide before granting access to real data.
Frequently asked questions
What does the B2IGE Verify MCP server do?
B2IGE Verify Don't trust "done". Prove it. B2IGE Verify is deterministic verification infrastructure for AI written software. It runs real programs under declared contracts, records evidence, and produces a bounded PASS/FAIL/INCONCLUSIVE/ERROR result without asking the coding agent to grade its own
How do I install B2IGE Verify?
Run the install command shown above, then paste the config for your client (Claude Desktop, Claude Code, Cursor, VS Code or Windsurf) into its MCP settings and restart the client.
Is B2IGE Verify free to use?
The MCP server itself is free to install. The source is public on https://github.com/b2ige2-a11y/b2ige-verify. Any third-party service it calls may require its own API key and account.
Which clients support B2IGE Verify?
Any MCP-compatible client can use it, including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf and custom agents.
Add this badge
Publish this server? Link back with a badge on your README or site — copy either snippet.
Markdown
[](https://mcpnav.net/server/b2ige-verify/)
HTML
<a href="https://mcpnav.net/server/b2ige-verify/"><img src="https://mcpnav.net/badge/b2ige-verify.svg" alt="Listed on MCPNav" height="20"></a>