B2IGE Verify runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 19 Sep 2026.
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
What the code does
We read the source, 6 d ago · rules 995398eba69f
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 verification for AI coding agents: catches invented APIs and wrong calls.
Evidence-backed deprecation and end-of-life checks for dependencies, runtimes, and Actions.
Deterministic pre-execution verification tools for AI agents with x402 USDC pay-per-call on Base
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
MERCATOR Verify: evidence-backed verification and decision support for autonomous agents.
Evidence-backed pre-purchase checks for offer terms, seller trust and policy compliance.
Webhook signature-verification audit. Stripe, GitHub, Shopify, Twilio +23. Local. Deterministic.
B2IGE Verify — questions
Answers built from our own checks of this server.