"SARCIA INDUSTRIES team on IBM Bob 2.0 hackathon Hackathon"

ProofFix is an agentic code-quality loop built with IBM Bob that proves bugs with failing tests, fixes them, and verifies the fix — turning a 3h45m manual review-and-fix cycle into 7 minutes, a ~32× speedup.