You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/installation-guides/install-antigravity.md
+6Lines changed: 6 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -13,6 +13,9 @@ This guide covers setting up the GitHub MCP Server in Google's Antigravity IDE.
13
13
14
14
Uses GitHub's hosted server at `https://api.githubcopilot.com/mcp/`.
15
15
16
+
> [!NOTE]
17
+
> 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.
18
+
16
19
#### Step 1: Access MCP Configuration
17
20
18
21
1. Open Antigravity
@@ -65,6 +68,9 @@ Close and reopen Antigravity for the changes to take effect.
65
68
2. You should see "github" with a green status indicator
66
69
3. You can now use GitHub tools in your conversations
67
70
71
+
> [!NOTE]
72
+
> 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.
73
+
68
74
### Option 2: Local Docker Server
69
75
70
76
If you prefer running the server locally with Docker:
0 commit comments