No fix
without proof.

8/8culprit commits correct (4 during the run)
7m 44sreport to proof, bug #5, no human prompts
120tests green at the end

Cimex Fix turns a bug report into a Proof of Fix. IBM Bob reproduces the bug with a failing test, pins the culprit commit with git bisect, fixes it under file-level permissions, and a Critic signs off — live on Mission Control.

See a real proof Browse all cases

RED · reproduced

AssertionError: expected [] to have a length of 1 but got +0

Culprit · git bisect

649b24a

perf(catalog): memoize search index

GREEN · fixed

117/117

tests pass after the fix

Critic · approved

Proven

Bug #5 · 7m 44s

Measured, not claimed

8 planted bugs. 8 proven.

How we measured this →

Headline

8/8culprit commits match the seeded answer key — 7 pinned by git bisect in Bob; 4/8 named correctly during the run itself

8/8bugs proven: failing test → fix → all tests green

4m 02smedian time to a failing test

2.93Bobcoins per fix (median)

6runs with zero human prompts, of 8

A real run

From customer issue to proof in 7m 44s.

Bug #5, “Search became case-sensitive”. These are the real milestone times from the case — no human prompts along the way.

Open the case timeline →

2m 10sLead — Triage, Locator and Historian report back
3m 12sReproducer — Failing test written — the bug is reproduced
4m 01sLead — git bisect pins the culprit commit
5m 25sFixer — Fix applied — every test passes
7m 21sCritic — Fix reviewed and approved
7m 44sLead — Proof of Fix published

How it works

Seven steps. One proof.

01
Report in
A customer screenshot, a QA PDF, a server log or an issue. Bob reads images and PDFs directly.
Lead
02
Investigate in parallel
Three subagents work at once: what broke, where the code path runs, what changed recently.
Triage · Locator · Historian
03
Reproduce — RED
The smallest test that fails on an assertion, not a crash or a typo.
Reproducer · tests only
04
Pinpoint
git bisect runs that test through history and names the exact culprit commit.
MCP · git bisect
05
Fix — GREEN
The smallest change that turns the test green without breaking any other test.
Fixer · src/ only
06
Challenge
An adversarial review hunts for edge cases and can send the fix back once.
Critic · no edits
07
Proof
A shareable Proof of Fix with every piece of evidence, explained in plain English.
watsonx.ai Granite
Every step is recorded as evidence on the case — nothing is taken on trust.
See the evidence

Built on IBM Bob 2.0

Bob does the work. The permissions keep it honest.

Custom modes
4 modes with file-level edit permissions; the MCP server refuses a proof if a test changed after RED.
Skills
repro-test, root-cause and proof-of-fix guide each step.
MCP server
6 tools: open_case, record, evidence, run_tests, bisect, publish_proof.
Subagents & subtasks
Parallel investigation, then hand-offs between permission-scoped modes.
Any intake
Screenshots, PDFs, logs and issue text go straight into the case.
watsonx.ai Granite
Plain-English proof summaries and live triage on /triage.

Stop guessing

Prove it.

Open a real Proof of Fix: the failing test, the culprit commit, the fix and the review.