get_pr_info
Fetch a GitHub pull request's metadata, changed-file summaries, and diff hunk ranges so you can align narration before starting a tour.
Instructions
Fetch a GitHub pull request's metadata and a compact summary of every changed file. Call this FIRST, before start_tour, so your narration matches what will be displayed.
Each file includes its diff hunk ranges: {old_start, old_end, new_start, new_end}. Those are the line numbers you pass to show_step (side="new" uses new_start/new_end). Use get_file_diff to read the actual changed lines of a specific file.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"pr_url": "<pr_url>"
},
"name": "get_pr_info"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_url | Yes |