verify_github
Verifies claims about GitHub PRs or issues by fetching live state, merged status, and details from the GitHub API.
Instructions
Check the live state of a public GitHub pull request or issue via the GitHub API (state, merged flag, merged_at, title, url). Use to verify claims like "the PR was merged".
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kind | Yes | "pr" or "issue". | |
| repo | Yes | Repository as "owner/name". | |
| number | Yes | PR or issue number. |