"Datapoch AI Labs team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Datapoch AI Labs presents ProofChange an AI-powered GitHub App that verifies code changes, detects test gaps on pull requests, and automatically generates missing unit tests using IBM Bob 2.0 to deliver cryptographic Change Evidence Packages.

Team Members

Zeeshan Tariq

zeeshantariqpkn

Data Scientist

Jen Mark Pelaez

ChicoDev0029

University Instructor

Maryam Habib

Mariam__

Submission

ProofChange AI Change Verification

ProofChange answers the question CI can't: "Is this change actually verified?" For every PR it detects untested branches, generates targeted tests with IBM Bob, runs real pytest, and emits a scored Change Evidence Package.