B2IGE Verify runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 18 Sep 2026.
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
What the code does
We read the source, 23 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
version = subprocess.check_output([args.mcpb, "--version"], text=True).strip()
const destination = path.join(parent, pin.archive_sha256);
const probe = spawnSync(binary, ['--version'], {encoding:'utf8', timeout:5000, maxBuffer:4096});
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to B2IGE Verify
same job, measured the same wayDeterministic JSON checks with signed evidence and x402-paid execution
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
MERCATOR Verify: evidence-backed verification and decision support for autonomous agents.
Evidence-backed x402 web verification for AI agents, with auditable decisions for every condition.
Webhook signature-verification audit. Stripe, GitHub, Shopify, Twilio +17. Local. Deterministic.
Local checks for artifacts, declared claim evidence, and citation containment.
Deterministic verification for AI-generated analysis: run a spec, inspect or diff a workbook
Independent MCP integration for Autodesk Revit software through a local bridge.
B2IGE Verify — questions
Answers built from our own checks of this server.