Skip to content

docs: add installation guide for Antigravity IDE and update the list of IDEs using PAT authentication. #2266

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Onay931 wants to merge 1 commit into
base: main
Choose a base branch
from
+56 −1
Open

docs: add installation guide for Antigravity IDE and update the list of IDEs using PAT authentication. #2266

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
57 changes: 56 additions & 1 deletion docs/installation-guides/install-other-copilot-ides.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ Quick setup guide for the GitHub MCP server in GitHub Copilot across different I
- **MCP Servers in Copilot Policy**: Organizations assigning Copilot seats must enable this policy for all MCP access in Copilot for VS Code and Copilot Coding Agent – all other Copilot IDEs will migrate to this policy in the coming months
- **Editor Preview Policy**: Organizations assigning Copilot seats must enable this policy for OAuth access while the Remote GitHub MCP Server is in public preview

> **Note:** All Copilot IDEs now support the remote GitHub MCP server. VS Code offers OAuth authentication, while Visual Studio, JetBrains IDEs, Xcode, and Eclipse currently use PAT authentication with OAuth support coming soon.
> **Note:** All Copilot IDEs now support the remote GitHub MCP server. VS Code offers OAuth authentication, while Visual Studio, JetBrains IDEs, Xcode, Eclipse, and Antigravity currently use PAT authentication with OAuth support coming soon.

## Visual Studio

Expand Down Expand Up @@ -244,6 +244,61 @@ For users who prefer to run the GitHub MCP server locally. Requires Docker insta

---

## Antigravity

MCP support available for Google's Antigravity IDE.

### Remote Server (Recommended)

The remote GitHub MCP server is hosted by GitHub and provides automatic updates with no local setup required.

> **Note**: OAuth authentication for the remote GitHub server is not yet supported in Antigravity. You must use a Personal Access Token (PAT).

#### Configuration Steps
1. Open Antigravity
2. Click the "..." (Additional Options) menu in the Agent panel → **MCP Servers** → **Manage MCP Servers** → **View raw config**
3. Add GitHub MCP server configuration to your `mcp_config.json`:
```json
{
"mcpServers": {
"github": {
"serverUrl": "https://api.githubcopilot.com/mcp/",
"headers": {
"Authorization": "Bearer YOUR_GITHUB_PAT"
}
}
}
}
```
4. Save the config and restart Antigravity completely.

### Local Server

For users who prefer to run the GitHub MCP server locally. Requires Docker installed and running.

#### Configuration
```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"
}
}
}
}
```

**Documentation:** [Antigravity Installation Guide](install-antigravity.md)

---

## GitHub Personal Access Token

For PAT authentication, see our [Personal Access Token documentation](https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens) for setup instructions.
Expand Down