Bug description

A "claude.ai DevRev" MCP server is being loaded at session startup even though:

1. The DevRev connector is not connected at claude.ai/settings/connectors
2. The Claude.ai marketplace has been disabled

This ghost server blocks a locally-configured DevRev MCP server (from an internal plugin) from loading. /doctor reports:

plugin:devrev:devrev [devrev]: MCP server "devrev" skipped — same command/URL as already-configured "claude.ai DevRev"

The ghost server also fails to authenticate, so it provides no functionality — it just blocks the working local one:

claude.ai proxy connection failed after 240ms: Streamable HTTP error: Error POSTing to endpoint:
{"type":"error","error":{"type":"authentication_error","message":"MCP server requires authentication but no OAuth token is configured."}}

Expected behavior

If a connector is not connected in claude.ai/settings/connectors, it should not be injected into Claude Code sessions.

Reproduction

1. Log into Claude Code with a Claude.ai account
2. At some point in the past, have connected DevRev via claude.ai connectors (then disconnected it)
3. Configure a DevRev MCP server via an internal plugin marketplace
4. Start a Claude Code session — the plugin's DevRev server is skipped in favor of the phantom "claude.ai DevRev"

Details from MCP logs

Server ID: mcpsrv_01FxXdYUqSdoKJZc51uGtNCT
Proxy URL: https://mcp-proxy.anthropic.com/v1/mcp/mcpsrv_01FxXdYUqSdoKJZc51uGtNCT

Log path: ~/.cache/claude-cli-nodejs/-workspaces-user-platform/mcp-logs-claude-ai-DevRev/

Environment

• Claude Code version: 2.1.87
• OS: Linux (Codespaces)