AI app: Repo2Prod — From Repo to Verified Runtime for IBM Bob 2.0 hackathon