From cb8a65f16bcc703988e9cac67cd748bf671347b6 Mon Sep 17 00:00:00 2001 From: viktormarinho Date: Fri, 26 Jun 2026 15:53:32 -0300 Subject: [PATCH] feat(github): add GitHub's official remote MCP to the catalog Sweep of prod installs showed GitHub's official remote MCP (api.githubcopilot.com, installed directly by 6+ orgs) was the one popular community MCP missing from registry.json. Adds the app.json entry and regenerates the catalog (111 -> 112). Co-Authored-By: Claude Opus 4.8 (1M context) --- github-official/README.md | 9 ++++++++ github-official/app.json | 20 ++++++++++++++++ registry.json | 48 +++++++++++++++++++++++++++++++++++++++ 3 files changed, 77 insertions(+) create mode 100644 github-official/README.md create mode 100644 github-official/app.json diff --git a/github-official/README.md b/github-official/README.md new file mode 100644 index 00000000..6a1af17b --- /dev/null +++ b/github-official/README.md @@ -0,0 +1,9 @@ +# GitHub (Official) + +GitHub's official remote MCP server, hosted at `https://api.githubcopilot.com/mcp/`. + +This is a catalog entry (app.json only) for the first-party `registry.json` — it +points at GitHub's hosted endpoint, there is no server to deploy here. + +Distinct from the deco-hosted `github` entry (`github-mcp.decocms.com`); this is +GitHub's own remote MCP, which several orgs install directly. diff --git a/github-official/app.json b/github-official/app.json new file mode 100644 index 00000000..571ef275 --- /dev/null +++ b/github-official/app.json @@ -0,0 +1,20 @@ +{ + "scopeName": "github", + "name": "github-mcp-server", + "friendlyName": "GitHub (Official)", + "connection": { + "type": "HTTP", + "url": "https://api.githubcopilot.com/mcp/" + }, + "description": "GitHub's official remote MCP server — manage repositories, issues, pull requests, Actions, and code from AI agents.", + "icon": "https://github.githubassets.com/assets/GitHub-Mark-ea2971cee799.png", + "unlisted": false, + "official": true, + "metadata": { + "categories": ["Developer Tools"], + "official": true, + "tags": ["github", "git", "repositories", "issues", "pull-requests", "actions", "code"], + "short_description": "GitHub's official remote MCP server for repos, issues, PRs, and Actions", + "mesh_description": "GitHub's official remote MCP server. Connect AI agents directly to GitHub to manage repositories, browse and edit code, open and review pull requests, triage issues, and work with GitHub Actions and workflows. Served over GitHub's hosted endpoint (api.githubcopilot.com), it covers the full GitHub developer surface so agents can automate engineering workflows end to end. Ideal for code review, repository management, release automation, and developer productivity." + } +} diff --git a/registry.json b/registry.json index fa884c07..4f0b76b4 100644 --- a/registry.json +++ b/registry.json @@ -3548,6 +3548,54 @@ ] } }, + { + "id": "github/github-mcp-server", + "title": "GitHub (Official)", + "description": "GitHub's official remote MCP server — manage repositories, issues, pull requests, Actions, and code from AI agents.", + "is_public": true, + "_meta": { + "mcp.mesh": { + "verified": true, + "friendly_name": "GitHub (Official)", + "short_description": "GitHub's official remote MCP server for repos, issues, PRs, and Actions", + "owner": "github", + "has_remote": true, + "has_oauth": false, + "tags": [ + "github", + "git", + "repositories", + "issues", + "pull-requests", + "actions", + "code" + ], + "categories": [ + "Developer Tools" + ], + "readme": "GitHub's official remote MCP server. Connect AI agents directly to GitHub to manage repositories, browse and edit code, open and review pull requests, triage issues, and work with GitHub Actions and workflows. Served over GitHub's hosted endpoint (api.githubcopilot.com), it covers the full GitHub developer surface so agents can automate engineering workflows end to end. Ideal for code review, repository management, release automation, and developer productivity." + } + }, + "server": { + "name": "github-mcp-server", + "title": "GitHub (Official)", + "description": "GitHub's official remote MCP server — manage repositories, issues, pull requests, Actions, and code from AI agents.", + "icons": [ + { + "src": "https://github.githubassets.com/assets/GitHub-Mark-ea2971cee799.png" + } + ], + "remotes": [ + { + "type": "HTTP", + "url": "https://api.githubcopilot.com/mcp/", + "name": "github-mcp-server", + "title": "GitHub (Official)", + "description": "GitHub's official remote MCP server — manage repositories, issues, pull requests, Actions, and code from AI agents." + } + ] + } + }, { "id": "google/google-bigquery-mcp", "title": "Google BigQuery",