ashlr__pr + ashlr__issue
Compressed GitHub PR and issue summaries. Wraps gh CLI output to avoid 10–30K-token JSON dumps.
Server: ashlr-github — servers/github-server.ts
Two read-only tools that compress GitHub PR and issue API output so reviewer agents don't burn 10–30K tokens on raw gh JSON dumps. Shells out to gh and times out at 15 seconds per call. Never mutates — read-only.
ashlr__pr
Compact PR header, reviews, unresolved comments, and CI checks.
Input schema
| Field | Type | Required | Description |
|---|---|---|---|
pr | string or number | yes | PR number or URL |
repo | string | no | owner/repo (default: detected from git remote) |
include_diff | boolean | no | Include a stat-mode diff summary (default: false) |
Output format
ashlr__issue
Compact issue header, body, and comment list.
Input schema
| Field | Type | Required | Description |
|---|---|---|---|
issue | string or number | yes | Issue number or URL |
repo | string | no | owner/repo (default: detected from git remote) |
comments | number | no | Max comments to include (default: 10) |
Output format
Requirement
The gh CLI must be installed and authenticated. Run gh auth status to verify.
Related tools
ashlr__diff— diff the PR branch locally