Spec Driven Development
by formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Runs on your computer★ 440MITUpdated 14 months ago
Install
B2IGE Verify
Overview
Description from the maker (original English)
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
PopNx MCP’s three pillars
These three are never merged into one score: opinions, measurements and popularity are different things.
- User voiceiNo reviews yetReviews open together with accounts in a later step
- Our basic checksi1 of 1 passedChecked from public information; code not scanned yet
- UsageiNot measured yet★ –
What you can do with it
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
- Connection: Runs on your computer
- Transport: stdio
- Category: Other
Install
Pick the AI app you use, then copy the settings.
Before you install
- Basic checks: 1 of 1 passed
- Runs on your computer with your user’s permissions (files, network, apps).
- The registry lists no key to fill in.
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Download the maker’s .mcpb file
The link goes to the maker’s own file; we do not host or repackage it. Open the file and Claude Desktop installs it.
Run this in your terminal
Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
What it can do
Runs on your computer; the tool list appears in your AI app after you install it.
Basic checksi
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
- ✓ Pass
Maker matches the repo
The registry name was verified with the GitHub account b2ige2-a11y, which owns the repo
- … Not checked yet
Still maintained
We have not read this repo from GitHub yet
- … Not checked yet
Has a licence
We have not read this repo from GitHub yet
- – Not applicable
Endpoint responds
This one runs on your computer; there is no internet endpoint
- – Not applicable
Sign-in with OAuth
Runs on your computer and uses local settings instead
- … Not checked yet
No hidden instructions in tool descriptions
Runs on your computer; we can only read tool lists from internet endpoints
Compared with others in Otheri
- More stars than 0% of the other 18352 servers in this category
- Published to the registry more recently than 46% of the other 18352 servers in this category
- Basic checks equal to or better than 100% of the other 18352 servers in this category
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
Common questions
Is B2IGE Verify safe?
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
What keys or codes does it need?
The registry does not list a required key, though some servers ask you to sign in on first use.
Does it run on my computer or in the cloud?
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
Is it still maintained?
The GitHub repo last changed –, and the latest version (0.1.0) reached the registry 2 months ago.
Which apps can use it?
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need MCPB on your computer.
What can I use instead?
In the same category: Spec Driven Development, Remote Desktop Commander, Hunter Killer
Alternatives
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
Remote Desktop Commander
by desktop-commander
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Runs in the cloud★ 211Updated 2 days ago
Install
Hunter Killer
by Irishman-Management-LLC
Liquidation walls, snapshot age, evidence labels and a public record. Managed OAuth.
Runs in the cloudUpdated today
Install
README from the maker
Open the README
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
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 work. BlindTest makes the boundary concrete: hidden tests exercise the produced program without exposing the suite or oracle to the agent.
Latest release
B2IGE Verify v0.3.0 is the current public release. The final release record documents its exact-main qualification, platform boundaries, and public asset set.
| Platform | Native archive |
|---|---|
| macOS Apple Silicon | b2ige-0.3.0-aarch64-apple-darwin.tar.gz |
| macOS Intel | b2ige-0.3.0-x86_64-apple-darwin.tar.gz |
| Linux x86_64 | b2ige-0.3.0-x86_64-unknown-linux-gnu.tar.gz |
Also download SHA256SUMS and verify the matching archive before extracting. See installation details for prerequisites and offline validation.
Quick install
Choose the archive for the host, then verify, extract, and put bin on PATH:
B2IGE_RELEASE_URL=https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.3.0B2IGE_ARCHIVE=b2ige-0.3.0-aarch64-apple-darwin.tar.gz curl -fL -O "$B2IGE_RELEASE_URL/$B2IGE_ARCHIVE" curl -fL -O "$B2IGE_RELEASE_URL/SHA256SUMS"
if command -v shasum >/dev/null 2>&1; then shasum -a 256 "$B2IGE_ARCHIVE" # compare with SHA256SUMS else sha256sum "$B2IGE_ARCHIVE" # compare with SHA256SUMS fi tar -xzf "$B2IGE_ARCHIVE" cd "${B2IGE_ARCHIVE%.tar.gz}" export PATH="$PWD/bin:$PATH" b2ige --version
The archive is ready for the adoption flow or the product-specific commands. Docker is required for BlindTest; missing prerequisites remain a readiness or non-PASS result.
30-second BlindTest demo
BlindTest asks: does the produced program actually work? It runs visible checks against a correct and a buggy implementation, then executes sealed hidden cases in an attested Docker boundary. The correct implementation passes, the buggy implementation fails, and the sanitized Agent view is checked for private-value leakage.
From a source checkout or the source archive, with Docker available:
docker pull node:24.18.1-bookworm-slimscripts/demo-blindtest.sh
The demo performs real execution and records evidence; its output is not canned terminal text. See the BlindTest example for the bounded secrecy boundary and the threat model for its limits.
Three verification products
| Product | Question | What it checks |
|---|---|---|
| BlindTest | Does it actually work? | Sealed hidden tests against an agent-produced target inside the declared Docker boundary. |
| BehaviorSeal | Did it change? | Trusted reference/candidate behavior under equivalent deterministic experiments. |
| SideEffect Proof | Did it actually happen? | Committed local SQLite effects under retries and fault schedules, not inferred attempts. |
Easy Adoption
inspect → init → prepare → trust approve → doctor → verify IDprepare is non-authoritative: it discovers inputs and writes a reviewable draft. Trust approval remains an interactive human/trusted-controller decision. doctor reports readiness, not verification. verify ID resolves the approved identity and produces the real, evidence-backed result. Read the adoption guide for the full boundary.
Measured benchmark
These are committed measurements on the bounded B2IGE Verify Bench v1 corpus, not a claim of exhaustive correctness or a replacement for product evidence.
B2IGE Verify Bench v1 / 31 explicit cases
| Measurement (on the benchmark corpus) | Observed |
|---|---|
| Known bugs detected | 16 / 16 |
| False PASS | 0 |
| False FAIL | 0 |
| Verified reproduction | 16 / 16 |
| Hidden leakage observed | 0 |
| Agent private-value leakage | 0 |
| Mutation adequacy: known benchmark mutants | 2 / 2 |
All numbers above are on the benchmark corpus only. Bounded testing cannot establish complete correctness.
See the measured snapshot and benchmark methodology.
Platform support
| Platform | Support boundary |
|---|---|
| macOS Apple Silicon | Native release |
| macOS Intel | Native release |
| Linux x86_64 | Native release; Docker and full benchmark CI |
| Windows x64 | Source/build plus bounded CLI smoke only; not VERIFIED_NATIVE |
| Linux arm64 | Deferred |
macOS binaries are unsigned and unnotarized. See installation and platform details for Docker, source-build, and archive boundaries.
What the result means
- PASS / 0: required evidence is complete within the declared executed scope, with no violation observed.
- FAIL / 1: a violation is supported by evidence.
- INCONCLUSIVE / 2: required evidence or execution coverage is incomplete.
- ERROR / 3: the verifier, configuration, isolation setup, or stored evidence failed.
Missing evidence cannot become PASS. Models do not assign verdicts. A result is bounded by the declared experiment, evidence, and platform scope.
Trust boundary and limitations
- Hashes provide integrity, not publisher authentication.
- Same-user host access is outside the BlindTest secrecy boundary.
- Bounded verification is not exhaustive proof.
- The internal v0.3.0 holdout was AI-operated, not independent human or external validation.
- Genuine external-user V110-D evidence is deferred; internal or synthetic evidence is not presented as external adoption.
Read the threat model, contracts, and evidence model before relying on a result.
Documentation
Use the documentation index for getting started, product guides, trust and architecture, benchmarks, release history, and developer resources. The false PASS report accepts only synthetic or sanitized details; never upload hidden suites, private canaries, raw human evidence, or credentials.
Contributing
Start with CONTRIBUTING.md, the architecture, and the security policy. Changes to verifier authority, evidence, contracts, or schemas require deliberate review; missing evidence must never be converted into success.
License
B2IGE Verify is licensed under Apache-2.0. No telemetry, hosted service, or paid API is required. Product names and trademarks are covered separately by TRADEMARKS.md.