GitHub's tools documentation

[MarcosCobena]

Hello,

Quick question: where are GitHub's tools documented? Such like get_issue in https://github.com/githubnext/agentics/blob/main/workflows/issue-triage.md.

Thank you in advance.

[MarcosCobena]

I think the answer is: https://github.com/github/github-mcp-server/tree/main/pkg/github