AI app: DevPilot AI: From Issue to Verified Fix for IBM Bob 2.0 hackathon