MCP Server Configuration
Correctly add and manage MCP servers in the .mcp.json file.
Topics
| Topic | Description | Guide |
|---|---|---|
| add | Add server (scope selection + registration + validation) | add.md |
| catalog | Catalog of commonly used MCP servers | catalog.md |
| diagnostics | Connection failure diagnosis and troubleshooting | diagnostics.md |
| format | JSON format reference (differences per agent) | format.md |
| move | Change server scope (project→local, local→user) | move.md |
Quick Reference
"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"