AI app: ShapeProof Studio: AI CAD with Geometric Proof for IBM Bob 2.0 hackathon