Skip to content

fix: scope doctor workspace MCP handling - #642

Merged
yvgude merged 1 commit into
yvgude:mainfrom
malochapo:fix/doctor-workspace-mcp-scope
Jul 1, 2026
Merged

fix: scope doctor workspace MCP handling#642
yvgude merged 1 commit into
yvgude:mainfrom
malochapo:fix/doctor-workspace-mcp-scope

Conversation

@malochapo

Copy link
Copy Markdown
Contributor

Summary

  • Track exact user/global MCP locations that contain lean-ctx instead of reducing them to a broad boolean.
  • Compare workspace MCP configs only against matching editor families before warning about duplicate scope.
  • Apply the same matching rule to doctor --fix cleanup so Copilot CLI does not trigger .vscode/mcp.json removal.
  • Add regressions for Copilot CLI + VS Code workspace MCP diagnostics and cleanup.

Fixes #639

Validation

  • cargo fmt --check
  • git diff --check
  • Focused doctor workspace-scope tests are added.
  • cargo test doctor::workspace_scope::tests -- --nocapture was attempted but blocked by rmcp v1.7.0 download timeouts from crates.io in this environment.

@yvgude yvgude added bug Something isn't working mcp MCP server / tools labels Jul 1, 2026
@yvgude
yvgude merged commit 0819507 into yvgude:main Jul 1, 2026
26 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 1, 2026
@yvgude yvgude added this to the v3.8.19 milestone Jul 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bug Something isn't working mcp MCP server / tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bug: doctor treats Copilot CLI MCP config as duplicate of VS Code workspace MCP

2 participants