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

[Copilot]

The referenced file ../toolsets.md does not exist in the repository. Based on the existing documentation structure, this should likely reference the toolsets section in the main README or the server configuration guide instead. Consider changing this to:

• [toolsets documentation](../../README.md#available-toolsets) or
• [Server Configuration Guide](../server-configuration.md) (which covers toolset configuration)

Suggested change

	- Check out [toolsets documentation](../toolsets.md) to customize available tools
	- Check out [toolsets documentation](../../README.md#available-toolsets) to customize available tools

[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!!!