Add installation and configuration documentation for Antigravity CLI

Bắt đầu với docs/installation-guides/install-antigravity.md và so sánh phạm vi hỗ trợ IDE hiện tại của tài liệu này với các tài liệu tham khảo về việc di chuyển và sử dụng Antigravity CLI được liên kết. Thêm hoặc liên kết một phần về CLI, bao quát các đường dẫn global và workspace, cả hai ví dụ cấu hình, tham số serverUrl bắt buộc và /mcp; công việc được xem là hoàn tất khi người dùng đang di chuyển có thể cấu hình và kiểm tra máy chủ GitHub mà không cần dựa vào hướng dẫn dành cho IDE.

Describe the feature or problem you’d like to solve

Google recently announced the transition from Gemini CLI to the new Antigravity CLI, with the deprecation of Gemini CLI for free and Pro/Ultra tiers taking effect on June 18, 2026.

Currently, the official repository documentation in docs/installation-guides/install-antigravity.md only covers installation steps for the Antigravity IDE. While the core MCP configuration format is similar, Antigravity CLI uses completely different configuration file paths and directories compared to the desktop IDE. Without explicit documentation for the CLI, users migrating from Gemini CLI will struggle to locate where to place their mcp_config.json files.

Proposed solution

We propose updating the documentation to explicitly include setup instructions for the Antigravity CLI, either by adding a dedicated section to install-antigravity.md or creating a standalone guide.

The documentation should highlight the correct configuration paths and parameters unique to the CLI:

1. Configuration File Locations for Antigravity CLI

• Global Configuration: ~/.gemini/antigravity-cli/mcp_config.json
• Workspace Configuration: .agents/mcp_config.json

2. Configuration Setup Options

The guide should provide both setup methods compatible with the CLI architecture:

Option 1: Remote Server Configuration

{
  "mcpServers": {
    "github": {
      "serverUrl": "https://api.githubcopilot.com/mcp/",
      "headers": {
        "Authorization": "Bearer YOUR_GITHUB_PAT"
      }
    }
  }
}

(Note: Emphasize that serverUrl is strictly required instead of url or httpUrl)

Option 2: Local Docker Server Configuration

{
  "mcpServers": {
    "github": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "-e",
        "GITHUB_PERSONAL_ACCESS_TOKEN",
        "ghcr.io/github/github-mcp-server"
      ],
      "env": {
        "GITHUB_PERSONAL_ACCESS_TOKEN": "YOUR_GITHUB_PAT"
      }
    }
  }
}

3. CLI Management Commands

Include a mention of the built-in management commands inside the Antigravity CLI terminal interface to check status:

• Use /mcp to list and manage active MCP servers.

Example prompts or workflows (for tools/toolsets only)

Not applicable as this is a documentation improvement request. However, it enables the following user workflow within the new CLI environment:

1. User initializes a project using Antigravity CLI.
2. User runs /mcp to check connected servers, notices GitHub is missing.
3. User follows the updated guide to create .agents/mcp_config.json in their repository root.
4. User runs a terminal command like: Please review my latest open PRs on GitHub and summarize the changes.

Additional context

For more details on the ecosystem migration, architecture, and configuration differences, please see the official resources below:

• Official Migration Announcement: An Important Update: Transitioning Gemini CLI to Antigravity CLI
• Community Discussion & Lifecycle Timeline: Gemini CLI GitHub Discussion #27274
• Antigravity CLI Usage Guide: Using Antigravity CLI Documentation
• Configuration Migration Reference: Gemini CLI to Antigravity CLI Migration Guide