boj_github_list_prs
List GitHub pull requests by repository owner and name, filtering by open, closed, or all states to manage code review workflows.
Instructions
List pull requests
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| state | No |
Implementation Reference
- mcp-bridge/main.js:251-252 (handler)The logic for the boj_github_list_prs tool is implemented within the handleGitHubTool function, which executes a GET request to the GitHub API.
case "boj_github_list_prs": return githubApiCall("GET", `/repos/${args.owner}/${args.repo}/pulls?state=${args.state || "open"}`);