AI app: RepoGuide — Verified AI Codebase Onboarding for IBM Bob 2.0 hackathon