MutantHunter: finds the bugs your tests miss
An IBM Bob skill that injects mutants, runs parallel subagents to write regression and spec-derived tests, turns spec disagreements into bug reports, and scores on hidden mutants. 5 real bugs in python-validators, 4 new.