GitHub Tool

External tool for GitHub issue and PR management via gh CLI.

Invocation via use_tool

{"tool": "use_tool", "arguments": {"tool_name": "github", "action": "ACTION", "args": {...}}}

Actions

list_issues — List issues

{"tool_name": "github", "action": "list_issues", "args": {"repo": "owner/repo", "state": "open", "limit": 20}}

create_issue — Create issue

{"tool_name": "github", "action": "create_issue", "args": {"title": "Title", "body": "Description", "labels": "bug,enhancement"}}

list_prs — List pull requests

{"tool_name": "github", "action": "list_prs", "args": {"repo": "owner/repo", "state": "open", "limit": 20}}

create_pr — Create pull request

{"tool_name": "github", "action": "create_pr", "args": {"title": "Title", "body": "Description", "head": "feature-branch", "base": "main", "draft": false}}

• draft (optional, default: false): Create as draft PR

CLI Usage (S-mode)

animaworks-tool github issues [--repo OWNER/REPO] [--state open] [--limit 20]
animaworks-tool github create-issue --title TITLE --body BODY [--labels LABELS]
animaworks-tool github prs [--repo OWNER/REPO] [--state open] [--limit 20]
animaworks-tool github create-pr --title TITLE --body BODY --head BRANCH [--base main]

Notes

• gh CLI must be installed and authenticated
• Without --repo, uses the current directory's repository