AI app: Tablekeeper: Spec-to-Proof Autonomous Factory for WeAreDevelopers x BAND present: