"DesignProof team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
We're building DesignProof with IBM Bob 2.0. 66% of developers say AI written code is "almost right, but not quite." DesignProof catches the "not quite" in the code that matters most: permission logic (who can access what). Bob reads the access policy and the code, the Alloy Analyzer checks every combination of users, teams, and share links for a rule breaking case, and Bob writes a failing test, fixes the code, and verifies the fix.
