"CodeProof team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building an AI-assisted developer tool that verifies software requirements against source code, generated tests, and runtime evidence. Looking for developers interested in AI, software engineering, testing, and developer tools.

Team Members

JAGAN SAI CHELLUBOINA

jagan_sai

Submission

CodeProof — Requirement-to-Code Verifier

CodeProof verifies software requirements against source code, generated tests, and runtime evidence, producing clear PROVEN, FAILED, or UNPROVEN results to reduce missed requirements, regressions, and manual verification effort.