Security firm Trail of Bits has open-sourced Buttercup, a Cyber Reasoning System (CRS) developed for the AIxCC (AI Cyber Challenge).
It is designed to find and patch software vulnerabilities in open-source code repositories.
https://blog.trailofbits.com/2025/08/08/buttercup-is-now-open-source/