"justautomatemore team on IBM Bob 2.0 hackathon Hackathon"

Proofline makes AI coding agents like IBM Bob prove a change is safe, with real tests and edge cases, before it gets applied and recorded.