PR Review HTML Fetch a GitHub PR, review it through multiple specialized agents, and produce a self-contained HTML review at in the repo root so the user can read it in a browser before merging. Phase 1: Fetch the PR Resolve which PR to review, in this order: - An explicit number, URL, or branch name from the user - Otherwise the PR for the current branch via Pull what you need to review: - - for the unified diff If the user isn't on the PR branch, run so any fixes land on the right local branch. If the working tree is dirty, stop and ask before checking out — silently switching branches risk…