Team Idea
Pak Troopers is building SequenceProof, a developer debugging tool that turns long, noisy action traces into small verified reproductions. It checks out an immutable Git commit inside a disposable Daytona sandbox, reproduces the exact failure, reduces 12 actions to 3 proof steps, confirms the result five times from fresh state, tests the corrected implementation, and records cleanup evidence. IBM Bob IDE was our core development partner for designing the proof rules, sandbox adapter, testing, and deployment workflow. We are a focused invite-only team completing the final demo and submission.
Team Members
Areeba Muhammad
AREEBA1659
Syed Saad
SyedSaad1
Student
