抄作业 / 做成了什么 / Grok Bot

做了什么

Bug report: delisted marketplace GitHub plugin (48677658) cannot be uninstalled/reconfigured and shows connected with 0 tools after 401.

场景

周报 / 简报 盯 PR / 仓库

资料完整度

• ✓ 作者与原链接有
• ✓ 做了什么有
• ✓ 来源原文摘录有
• — 截图 / 媒体来源未提供
• — 步骤 / 章节来源未提供
• — 提示词 / 配置原文来源未提供
• — 结果 / 数字来源未提供
• ✓ 风险提示有
• ✓ 相关条目有

— 表示来源没有给出，本站不补写。

来源原文摘录

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_TOKEN setup 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

展开全文

48677658 by 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 …

摘自论坛首帖，照录原文，未翻译。

提示词

来源没有给出可直接复制的提示词原文。

怎么复制

1. 读原文：forum.cursor.com ↗
2. 把原文里的步骤/提示词整理成一条消息交给 Bot
3. 先手动跑一次，再决定频率

风险与限制

• 作者的结果不保证能复现，以原帖为准

用量预估

用金属计算器估一下