What problem does it solve? Fixed bugs often regress because a one-off test is the only guard. This Skill turns every confirmed bug into a structured BugCase with a minimized reproducer, a stated invariant, and a deterministic detector (Semgrep, CodeQL, Pysa, ast-grep, or a regression test) that runs in CI without an LLM, so the same bug class is caught automatically forever. ## Core Features & Use Cases - Bug-to-detector pipeline: Capture a confirmed fix with bugcorpus learn, state symptom vs root cause vs invariant, then synthesize a detector on the cheapest adequate engine. - Fixture-driven verification: Every detector ships positive, negative, and adversarial fixtures; bugcorpus verify enforces recall and zero false positives before promotion from shadow to blocking. - Community exchange: Export, publish, and install portable detector bundles with fixtures and provenance via bugcorpus community commands. - Use Case: After fixing an async race condition, run the workflow to generate a Semgrep rule with adversarial fixtures, promote it to blocking, and let CI reject any future instance of that bug class. ## Quick Start After fixing a bug, ask the agent to run the bug-corpus workflow to learn the fix, synthesize a detector, verify it against fixtures, and promote it to blocking in CI.
