[WIP] List tools available in repository#2349

Copilot wants to merge 1 commit intomaingithub/github-mcp-server:mainfrom

copilot/list-tools-in-repogithub/github-mcp-server:copilot/list-tools-in-repoCopy head branch name to clipboard