Building ForgeProof, an autonomous software factory in BAND Desktop for the Pocketful track. The system uses specialized AI agents to plan, implement, test, attack, verify, and repair software with evidence-backed release decisions. The goal is to demonstrate reliable autonomous development through financial correctness, concurrency testing, and adversarial verification.
.png&w=256&q=75)
.png&w=256&q=75)