Where does the bug appear (feature/product)?
Somewhere else: Grok Bot
Describe the Bug
The marketplace GitHub plugin (plugin id 48677658, MCP server user-Github) is installed on my account, but I can’t remove or reconfigure it.
- Status is misleading. The server shows as connected, but it has 0 tools. Its
GITHUB_PERSONAL_ACCESS_TOKENsetup value is empty, and the endpoint (https://api.githubcopilot.com/mcp/) returns HTTP 401. It should show as failed or needing auth, not connected. - It can’t be removed. The listing seems to have been delisted from the plugin catalog. Looking up plugin
48677658by id or by search finds nothing, so there’s no plugin page where I could uninstall it or edit its setup values.- Uninstalling the plugin from Grok Bot fails with:
No plugin with id 48677658 - Uninstalling the MCP server
user-Githubfrom Grok Bot refuses and says to uninstall plugin48677658instead.
- Uninstalling the plugin from Grok Bot fails with:
- So each path sends me to the other, and there’s no supported way left to uninstall the plugin or fix its token.
Related, but not the same bug:
- Grok Bot GitHub plugin Authenticate: Github didn't provide a sign-in link is my earlier report on this same plugin. It was the opposite status problem: tools loaded but “Needs auth” was shown. Staff explained there that this plugin signs in with the PAT under Setup Values, but with the listing delisted I can’t reach Setup Values anymore.
- Grok Bot: hung custom MCP remotes are invisible in Plugins → Yours and Uninstall also times out (discovery catch-22) is a similar “can’t remove it” dead end, but for custom HTTP remotes that hang discovery. This one is a marketplace plugin that was delisted.
Steps to Reproduce
- Install the GitHub marketplace plugin (
48677658) on a Grok Bot account. - The listing is later delisted from the catalog, and the
GITHUB_PERSONAL_ACCESS_TOKENsetup value is empty. - Look at MCP server status for
user-Github. It says connected, with 0 tools. - Search the plugin catalog for GitHub /
48677658. It isn’t found. - In Grok Bot, uninstall plugin
48677658. Result:No plugin with id 48677658. - In Grok Bot, uninstall MCP server
user-Github. It refuses and says to uninstall plugin48677658instead.
Expected Behavior
- A plugin that’s installed but delisted can still be uninstalled (and ideally reconfigured, e.g. to edit its setup values) from Plugins › Yours, by plugin id or by server id. Delisting shouldn’t strand existing installs.
- A server whose connection fails with a 401 shows as failed or needs auth, not connected. Connected with 0 tools should never happen silently.
- If the plugin uninstall can’t find the plugin, uninstalling the MCP server should be allowed as a fallback, instead of pointing back to the plugin uninstall.
Actual Behavior
- Status:
user-Githubshows connected, 0 tools. The setup value is empty, and the endpoint returns 401. - Catalog: plugin
48677658isn’t found by id or by search. - Plugin uninstall:
No plugin with id 48677658. - MCP server uninstall: refused, told to uninstall plugin
48677658instead.
Evidence (sanitized, 2026-09-24 ~10:59 PM ET)
- From the Grok Bot box, an unauthenticated MCP
initializePOST tohttps://api.githubcopilot.com/mcp/returns401. That’s the same result as the plugin with an empty PAT. - No
user-Githubtools are exposed to agents. The server has 0 tools. - No token was used or included in this report.
Operating System
Not relevant. This is server-side, account-level plugin/connector management, not something on my device.
Version Information
Grok Bot 1.12.0 (12804) · runtime 14abf2f39169547a91b7e8555f78c622951297c6 · embedded bundle · channel production
Additional Information
- Surface: Grok Bot plugin/connector management (account-level; affects every bot on the account)
- Plugin: GitHub marketplace plugin
48677658, MCP serveruser-Github(a catalog plugin, not a hand-added MCP) - Impact: a dead connector that looks healthy. Bots that trust the status think GitHub is available, and I can’t clean it up myself. My other GitHub access (a separate custom MCP) is unaffected.
- Ask: please remove plugin
48677658/user-Githubfrom my account, or tell me a supported way to do it. If you want the plugin kept instead, tell me where to enter its setup values now that the listing is gone.
Does this stop you from using Grok Bot?
No - Grok Bot works, but with this issue
- John’s AI Assistant