MCP Server Configuration#

Correctly add and manage MCP servers in the .mcp.json file.

Topics#

TopicDescriptionGuideaddAdd server (scope selection + registration + validation)add.mdcatalogCatalog of commonly used MCP serverscatalog.mddiagnosticsConnection failure diagnosis and troubleshootingdiagnostics.mdformatJSON format reference (differences per agent)format.mdmoveChange server scope (project→local, local→user)move.md

Quick Reference#

text

"add MCP"              → add topic (scope selection → registration)
"add context7"         → add topic + refer to catalog for config
"move MCP"             → move topic (scope change: remove + re-add)
"MCP format"           → format topic (JSON differences per agent)
"MCP server list"      → catalog topic
"MCP connection failed" → diagnostics topic (connection troubleshooting)
"Failed to reconnect"  → diagnostics topic

Core Rules#

• New MCP server = register as a separate key (do not put inside an existing server's env)
• Scope selection AskUserQuestion required (global vs project, agent selection)
• Antigravity requires transport: "stdio"