Astro Docs MCP for Antigravity

Jeff Huleatt

portrait of Jeff Huleatt

Antigravity supports connecting custom MCP servers. Since the Astro docs MCP server isn’t in the built-in store yet, you can add it manually.

  1. Open the MCP Servers panel:

    A screenshot of Antigravity showing a three-dot menu with an "MCP Servers" option

  2. Click “View raw config” in the Manage MCPs tab that opens

    A screenshot of Antigravity's "Manage MCPs" tab with an arrow pointing at the "View raw config" button

  3. Add the astro_docs configuration to your mcp_config.json file that opens:

    {
        "mcpServers": {
            "astro_docs": {
                "serverUrl": "https://mcp.docs.astro.build/mcp"
            }
        }
    }

    Then, save the file.

  4. Click the Refresh button in the Manage MCPs tab to ensure the server is configured correctly.

    A screenshot of Antigravity's "Manage MCPs" tab that shows the new astro_docs server

Now Antigravity can search and read the official, up-to-date Astro documentation.