github_list_prs
List pull requests from a GitHub repository, with optional state filter (open, closed, all) and count limit.
Instructions
List pull requests in a repository.
Args: repo: Repository name (defaults to configured default repo) state: PR state filter ('open', 'closed', 'all') limit: Maximum number of PRs to return
Returns: Dictionary with list of pull requests
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "github_list_prs"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | ||
| limit | No | ||
| state | No | open |