docs: Add Antigravity installation guide

[ManoloZocco]

This PR adds installation documentation for Google's Antigravity IDE to the docs/installation-guides/ directory and updates the README index.

[Copilot]

Pull request overview

This PR adds comprehensive installation documentation for Google's Antigravity IDE to the GitHub MCP Server installation guides. The guide follows the established documentation patterns and provides clear instructions for both remote and local Docker installation methods.

Key Changes:

• Added complete installation guide for Antigravity IDE with step-by-step instructions for remote server (recommended) and local Docker setup
• Updated the installation guides index to include the new Antigravity guide in alphabetical order
• Documented Antigravity-specific configuration details (uses serverUrl instead of url, custom config location at .gemini/antigravity/mcp_config.json)

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
docs/installation-guides/install-antigravity.md	New comprehensive installation guide covering prerequisites, remote/local setup options, troubleshooting, and Antigravity-specific configuration differences
docs/installation-guides/README.md	Added Antigravity entry to the installation guides index in proper alphabetical order

[tommaso-moro]

Hi @ManoloZocco thank you for your work on this one. I have followed your instructions for the remote server set-up up to Step 4 (Restart Antigravity). After that, step 5 (verify installation) fails for me (see short video attached): I see a list of MCP Servers but no clear green indication of the GitHub one being active. However, the server does work (I am able to use it in the agent panel) so the set-up up to that point was enough.

Screen.Recording.2025-12-08.at.15.11.05.mov

Are you able to share a screenshot of your step 5? I am just wondering whether I am doing something wrong or if we should remove step 5 from the instructions. Thank you!

[ManoloZocco]

Don't use that installation method, as it doesn't work on Antigravity. Use the remote server version by editing Antigravity's mcp.json file and adding it as instructed, including your GitHub token. As soon as I get home, I'll answer you better in case I haven't been clear enough. But let me know if you've managed it :) Il giorno lun 8 dic 2025 alle 16:14 Tommaso Moro ***@***.***> ha scritto:

…

*tommaso-moro* left a comment (github/github-mcp-server#1549) <#1549 (comment)> Hi @ManoloZocco <https://github.com/ManoloZocco> thank you for your work on this one. I have followed your instructions for the remote server set-up up to Step 4 (Restart Antigravity). After that, step 5 (verify installation) fails for me (see short video attached): I see a list of MCP Servers but no clear green indication of the GitHub one being active. However, the server does work (I am able to use it in the agent panel) so the set-up up to that point was enough. https://github.com/user-attachments/assets/dedb8201-9808-4d0a-9858-619655b67fd2 Are you able to share a screenshot of your step 5? I am just wondering whether I am doing something wrong or if we should remove step 5 from the instructions. Thank you! — Reply to this email directly, view it on GitHub <#1549 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AIB5UOLWHJP43N5HQEDHWPL4AWIWXAVCNFSM6AAAAACOJTNUI6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTMMRXGQYTEMRZGQ> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[tommaso-moro]

@ManoloZocco sorry maybe it wasn't clear, I didn't use that installation method but I followed your steps (1 to 4). It's the verification steps that fails for me but other than that it's working fine! (the video is me checking for verification as part of step 5, after having followed steps 1-4)

PS I have also found this workflow

1. CMD+Shift+P (on mac)
2. MCP: Add Server
3. Enter remote url ("https://api.githubcopilot.com/mcp/") and a server name (e.g. "github")

This generates a JSON config in mcp.json, but then one needs to add this manually

"headers": {
      "Authorization": "Bearer {some_pat_token}"
}

It's also a bit confusing that this process populates the mcp.json file, but the process you highlighted in your installation docs (i.e. clicking "View raw config") leads to the mcp_config.json. I would expect both workflows to lead to the same source of truth for MCP Servers

[IrynaKulakova]

+1, I also couldn’t connect to the Remote Server and didn’t see any errors, which makes debugging challenging.

[new0hand]

it works ,thanks!!!

[ManoloZocco]

Thanks @tommaso-moro for the feedback!

1. Verification Step: I've updated the guide (Step 5) to remove the reliance on the visual "green light," which seems inconsistent across versions. I've also added a note about that.

2. Config Files (mcp.json vs mcp_config.json): You are absolutely right, this is confusing. Here is the context on why we chose this path:

   • The "MCP: Add Server" command (or installing via the MCP Store) relies on a Docker-based configuration (writing to mcp.json) which is currently buggy in the IDE (often resulting in Error: calling "initialize": EOF).
   • The method documented in this PR (using "View raw config" to edit mcp_config.json) sets up the Remote Server connection directly. This bypasses the local Docker issues and has proven to be much more reliable.

I have added a note in the installation guide to clarify why we recommend this manual configuration over the Store method, to avoid future confusion for users running into the dual-config issue.