GitHub Available Tools Read - github search repos(query, max results?) : Search GitHub repositories. - github get repo(owner, repo) : Get repository details (description, stars, language, topics). - github list issues(owner, repo, state?, labels?, max results?) : List issues. : open | closed | all. - github get issue(owner, repo, issue number) : Get a single issue with comments. - github list pulls(owner, repo, state?, max results?) : List pull requests. - github get pull(owner, repo, pull number) : Get a single pull request with diff summary. - github get file(owner, repo, path, ref?) : Get…