AI app: OnboardPilot: Verified Codebase Onboarding for IBM Bob 2.0 hackathon