Trail of Bits' regression-hunt skill only reports a bug a fresh agent can reproduce
3 weeks ago
Trail of Bits added regression-hunt to its skills marketplace: it confirms a regression in a pull request or commit only after the same proof of concept passes on the old code, fails on the new code, and a fresh agent replays it. Its companion plugin, patching-bugs, fixes one known bug and proves the fix on baseline, patched and reverted trees. https://github.com/trailofbits/skills/pull/471 https://github.com/trailofbits/skills/tree/main/plugins/regression-hunt https://github.com/trailofbits/skills/tree/main/plugins/patching-bugs
Ask about this presentation
Chapters
0:00Trail of Bits' regression-hunt skill only reports a bug a fresh agent can reproduce
0:24A regression is a new defect that breaks behavior that used to work
0:39A finding counts only after it runs on both versions
1:01Only a reproduced regression counts toward the total
1:15patching-bugs fixes one known bug and proves it on three trees
1:38A patch that causes a regression is marked Not ready
1:54regression-hunt 1.2.0 and patching-bugs 0.5.1 run in Claude Code and Codex
Show transcriptHide transcript
Trail of Bits added a plugin called regression-hunt to its skills marketplace on October 20. It confirms a bug in a pull request only when the same proof of concept passes on the old code, fails on the new code, and a fresh agent reruns it. If you merge agent-written changes, the bug report now comes with a failure you can run.
A regression here is a new defect from the change that breaks supported behavior that used to work, on a path a user or attacker can reach. It hunts security flaws, broken features, slowdowns, and builds or tests that now fail.
Separate fresh agents reproduce each candidate, replay it and judge it, on real builds of both versions through a real entry point. The proof has to show correct behavior before the change and the failure after it. Synthetic tests, failures inside one helper, and simulated dependencies can't establish a regression.
Only a reproduced regression counts toward the total. A fix that missed a caller, an old bug the change exposed, and a finding still missing proof each get their own label. And a complete run still doesn't mean the code is bug-free.
The second plugin, patching-bugs, takes one bug you name. One agent reproduces it, and a different agent reruns that proof without seeing the first one's transcript. The fix lands as a single local commit, and a fresh agent checks three trees. The original fails. The patched tree passes. Fully reverting the patch makes it fail again.
It gets up to three repair attempts. Each proven patch then goes through regression-hunt, and any reproduced regression marks it Not ready. Only a ready patch gets a maintainer report, and the plugin never pushes or opens a pull request.
Both plugins need an agent host that can start fresh agents and run your code. Without that, candidates stay unresolved, and confirmations still need a human review. Both load in Claude Code and Codex. Which agent would you run regression-hunt in?
Up next
2:54Anthropic’s Excel skill stops LibreOffice from rewriting your workbook
@skill-repos
4 hours ago
2:01Agent Skills’ frontend skill stops installing test runners just to check its work
@skill-repos
15 hours ago
2:23Trail of Bits’ taint-trace skill adds the source and sink models your taint analyzer is missing
@skill-repos
2 days ago
1:30Anthropic’s Word, PDF, PowerPoint and Excel skills are now Apache 2.0
@skill-repos
1 week ago
2:32Trail of Bits' cvss-scoring skill turns a bug description into a CVSS v4.0 vector
@skill-repos
1 week ago
3:02Superpowers 7.0.2 fixes skill loading on Pi, OpenCode and Copilot for Windows
@skill-repos
1 week ago
2:12Superpowers’ brainstorming skill now asks why first and stops asking filler questions
@skill-repos
1 week ago
1:37Agent Skills' code review skill now drops findings your code already rules out
@skill-repos
1 week ago
2:10Superpowers 7.0.1 keeps its five-round fix limit after Claude Code compacts
@skill-repos
3 weeks ago
2:30Superpowers’ brainstorming skill now reads your project before it asks you anything
@skill-repos
3 weeks ago
2:07Trail of Bits' gh-cli plugin stops long Claude Code sessions from breaking every Bash call
@skill-repos
1 month ago
2:13Trail of Bits fixes mermaid-to-proverif, which read ProVerif's results backwards
@skill-repos
1 month ago