diff --git a/docs/installation-guides/README.md b/docs/installation-guides/README.md index 097d97b02..be967f81d 100644 --- a/docs/installation-guides/README.md +++ b/docs/installation-guides/README.md @@ -4,6 +4,7 @@ This directory contains detailed installation instructions for the GitHub MCP Se ## Installation Guides by Host Application - **[GitHub Copilot in other IDEs](install-other-copilot-ides.md)** - Installation for JetBrains, Visual Studio, Eclipse, and Xcode with GitHub Copilot +- **[Antigravity](install-antigravity.md)** - Installation for Google Antigravity IDE - **[Claude Applications](install-claude.md)** - Installation guide for Claude Web, Claude Desktop and Claude Code CLI - **[Cursor](install-cursor.md)** - Installation guide for Cursor IDE - **[Google Gemini CLI](install-gemini-cli.md)** - Installation guide for Google Gemini CLI diff --git a/docs/installation-guides/install-antigravity.md b/docs/installation-guides/install-antigravity.md new file mode 100644 index 000000000..c24d8e01d --- /dev/null +++ b/docs/installation-guides/install-antigravity.md @@ -0,0 +1,143 @@ +# Installing GitHub MCP Server in Antigravity + +This guide covers setting up the GitHub MCP Server in Google's Antigravity IDE. + +## Prerequisites + +- Antigravity IDE installed (latest version) +- GitHub Personal Access Token with appropriate scopes + +## Installation Methods + +### Option 1: Remote Server (Recommended) + +Uses GitHub's hosted server at `https://api.githubcopilot.com/mcp/`. + +> [!NOTE] +> We recommend this manual configuration method because the "official" installation via the Antigravity MCP Store currently has known issues (often resulting in Docker errors). This direct remote connection is more reliable. + +#### Step 1: Access MCP Configuration + +1. Open Antigravity +2. Click the "..." (Additional Options) menu in the Agent panel +3. Select "MCP Servers" +4. Click "Manage MCP Servers" +5. Click "View raw config" + +This will open your `mcp_config.json` file at: +- **Windows**: `C:\Users\\.gemini\antigravity\mcp_config.json` +- **macOS/Linux**: `~/.gemini/antigravity/mcp_config.json` + +#### Step 2: Add Configuration + +Add the following to your `mcp_config.json`: + +```json +{ + "mcpServers": { + "github": { + "serverUrl": "https://api.githubcopilot.com/mcp/", + "headers": { + "Authorization": "Bearer YOUR_GITHUB_PAT" + } + } + } +} +``` + +**Important**: Note that Antigravity uses `serverUrl` instead of `url` for HTTP-based MCP servers. + +#### Step 3: Configure Your Token + +Replace `YOUR_GITHUB_PAT` with your actual GitHub Personal Access Token. + +Create a token here: https://github.com/settings/tokens + +Recommended scopes: +- `repo` - Full control of private repositories +- `read:org` - Read org and team membership +- `read:user` - Read user profile data + +#### Step 4: Restart Antigravity + +Close and reopen Antigravity for the changes to take effect. + +#### Step 5: Verify Installation + +1. Open the MCP Servers panel (... menu → MCP Servers) +2. You should see "github" with a list of available tools +3. You can now use GitHub tools in your conversations + +> [!NOTE] +> The status indicator in the MCP Servers panel might not immediately turn green in some versions, but the tools will still function if configured correctly. + +### Option 2: Local Docker Server + +If you prefer running the server locally with Docker: + +```json +{ + "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" + } + } + } +} +``` + +**Requirements**: +- Docker Desktop installed and running +- Docker must be in your system PATH + +## Troubleshooting + +### "Error: serverUrl or command must be specified" + +Make sure you're using `serverUrl` (not `url`) for the remote server configuration. Antigravity requires `serverUrl` for HTTP-based MCP servers. + +### Server not appearing in MCP list + +- Verify JSON syntax in your config file +- Check that your PAT hasn't expired +- Restart Antigravity completely + +### Tools not working + +- Ensure your PAT has the correct scopes +- Check the MCP Servers panel for error messages +- Verify internet connection for remote server + +## Available Tools + +Once installed, you'll have access to tools like: +- `create_repository` - Create new GitHub repositories +- `push_files` - Push files to repositories +- `search_repositories` - Search for repositories +- `create_or_update_file` - Manage file content +- `get_file_contents` - Read file content +- And many more... + +For a complete list of available tools and features, see the [main README](../../README.md). + +## Differences from Other IDEs + +- **Configuration key**: Antigravity uses `serverUrl` instead of `url` for HTTP servers +- **Config location**: `.gemini/antigravity/mcp_config.json` instead of `.cursor/mcp.json` +- **Tool limits**: Antigravity recommends keeping total enabled tools under 50 for optimal performance + +## Next Steps + +- Explore the [Server Configuration Guide](../server-configuration.md) for advanced options +- Check out [toolsets documentation](../../README.md#available-toolsets) to customize available tools +- See the [Remote Server Documentation](../remote-server.md) for more details