"SoloModel team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building solo for the IBM Bob 2.0 Hackathon, exploring AI-assisted development workflows with Bob. Not actively looking for teammates, just experimenting and shipping something within the 48-hour build window.

Team Members

Tanishq Chaurasia

Tanishq_oo7

Submission

TraceProof: Proof, not trust

TraceProof proves your code matches its spec. IBM Bob audits the repo against the requirements document, catches what green CI misses, fixes the gaps test-first, and blocks regressions in CI.