What problem does it solve? Writing production code before tests leads to fragile systems, weak assertions, and bugs that escape into production without regression coverage. This Skill enforces a disciplined test-first workflow so every change is backed by failing-then-passing test evidence and quantitative quality gates. ## Core Features & Use Cases - Red-Green-Refactor Enforcement: Applies Kent Beck and Uncle Bob's three laws of TDD, requiring a failing test before any production code and minimal code to pass it. - BDD and Property-Based Testing: Translates Gherkin scenarios (Given/When/Then) into executable tests and uses property-based testing or fuzzing to verify invariants across randomized inputs. - Mutation Testing & Quality Gates: Runs mutation testing tools (Stryker, cargo-mutants, PIT) to measure mutant kill rates, plus complexity caps, coverage thresholds, and zero-tolerance static analysis gates. - Use Case: When fixing a production regression, use this Skill to write a failing regression test first, implement the minimal fix, verify the test passes, and add a monitor so the bug class cannot recur. ## Quick Start Ask the agent to fix a bug or implement a feature using test-driven development with a failing test written before any production code.