Predge builds a verification layer for agent and stablecoin payments. For the IBM Bob 2.0 hackathon we built Claim Check, a tool that checks whether a pull request actually does what its description claims.
On a real public PR four review rounds had approved (KeeperHub #2476), Claim Check caught a false claim, a real SSRF, that every reviewer missed. It gives each PR claim its own IBM Bob subagent and returns the exact line that proves it true or false.