"ContractProof team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
ContractProof is an AI-assisted developer tool that finds breaking behavior hidden behind code changes. It analyzes a Git diff, identifies affected code and behavioral contracts, generates targeted probes, and runs the old and new versions with the same inputs. Instead of trusting an AI opinion, it uses real execution to determine whether behavior was preserved, broken, uncertain, or untestable. IBM Bob 2.0 orchestrates the workflow through Agent mode, parallel subagents, and document understanding. The final report shows the evidence behind every result, including the exact input and old-vs-new output when a breaking change is found. ContractProof helps developers catch regressions before they reach production.
Submission
Team Leader hasn't made a submission yet