io.github.Dave-London/github

MCP server for GitHub operations (PRs, issues, actions) with structured, token-efficient output