Issues
create_issueFile a GitHub issue on this project's repository.
get_issueRead ONE GitHub issue on this project's repository in full — its complete body, its STATUS in plain words, and WHAT…
get_pull_requestRead ONE pull request on this project's repository in full — and, crucially, WHO made it and WHAT CAME OF IT.
list_issuesList the GitHub issues on this project's repository — the work that is open on it, and what has been closed.
search_prior_workHas this already been tried on this project?