Antigravity Codespaces Pro is a free, MIT-licensed extension that connects VS Code-based editors such as Cursor and Google Antigravity to GitHub Codespaces over SSH using the GitHub CLI. Connect, switch accounts, fix SSH and keep agent sessions alive without leaving Cursor, Antigravity, VS Code, Windsurf or VSCodium.
Running GitHub Codespaces from an AI-first editor usually means hand-written SSH config, account juggling and connections that drop in the middle of an agent's task.
Personal, work and client codespaces live under different GitHub accounts.
Host entries, platform settings and host keys all have to be right before anything connects.
Errors like exit 127 or 255 rarely say that the real cause was gh auth.
Long-running AI agent work dies when an idle tunnel times out.
Built on the official GitHub CLI and your IDE's Remote-SSH support. Nothing runs on a third-party server.
Every codespace as a card or a list row, with its state, repository, branch, machine and owning account. Start, stop, rebuild, create and delete from one place.
Switch between GitHub accounts signed in to gh. The hub, the SSH hosts and the usage numbers follow the active account.
A keyboard-first launcher for any codespace, plus Reconnect to Last.
Checks gh, the SSH client, Remote-SSH and auth state, with one-click fixes and a token-redacted report.
Synced host config, accept-new host key checking with its own known_hosts file, and auto-set remotePlatform.
SSH keepalive settings keep tunnels open through long agent runs in Cursor or Antigravity.
See ports a codespace exposes and open them in the browser in one click.
Compute and storage straight from GitHub's billing API. If it can't be read, it says so.
The extension drives the official GitHub CLI and your IDE's Remote-SSH extension. Credentials stay in gh and the IDE's SecretStorage.
Cursor, Antigravity, VS Code, Windsurf or VSCodium with the extension and Remote-SSH.
gh codespace ssh under the account you picked. Preflight catches auth and scope problems first.
A Linux container on GitHub, billed to your own account or organization.
Same steps everywhere: install the gh CLI, sign in, add the extension and a Remote-SSH extension, then connect.
gh auth login -s codespace.Antigravity's remote support, or jeanp413.open-remote-ssh.# sign in once gh auth login -s codespace # install the extension antigravity --install-extension nirbhay-hiwse.antigravity-codespaces ✓ ready, press Alt+C to connect
gh auth login -s codespace.anysphere.remote-ssh (bundled).# sign in once gh auth login -s codespace # install the extension cursor --install-extension nirbhay-hiwse.antigravity-codespaces ✓ ready, press Alt+C to connect
gh auth login -s codespace.ms-vscode-remote.remote-ssh.# sign in once gh auth login -s codespace # install the extension code --install-extension antigravity-codespaces-5.3.2.vsix ✓ ready, press Alt+C to connect
gh auth login -s codespace.none: use Windsurf's built-in SSH (don't install open-remote-ssh or Microsoft Remote-SSH, they conflict).# sign in once gh auth login -s codespace # install the extension windsurf --install-extension nirbhay-hiwse.antigravity-codespaces ✓ ready, press Alt+C to connect
gh auth login -s codespace.jeanp413.open-remote-ssh.# sign in once gh auth login -s codespace # install the extension codium --install-extension nirbhay-hiwse.antigravity-codespaces ✓ ready, press Alt+C to connect
The VS Code Marketplace currently has an older version (4.3.0). The latest, 5.3.2, is on Open VSX and as a .vsix in the latest GitHub release.
The extension reads GitHub's billing API for the active gh account, which needs the user scope. Compute and storage are separate quotas and are never added together.
| Plan | Compute / month | Storage / month |
|---|---|---|
| GitHub Free | 120 core-hours | 15 GB-month |
| GitHub Pro | 180 core-hours | 20 GB-month |
| Organizations | No free quota, billed to the org | |
If the API fails: “Usage unavailable” plus the reason and the gh command. Never an estimate.
Paste this into the agent in Cursor, Antigravity, Windsurf or Codex. It installs and configures the extension and stops to ask before signing you in.
Set up the "Antigravity Codespaces Pro" extension (ID: nirbhay-hiwse.antigravity-codespaces) in this IDE so I can connect to my GitHub Codespaces over SSH. Follow https://github.com/Nir-Bhay/antigravity-codespaces/blob/main/AGENT_SETUP.md step by step: 1. Detect which IDE and operating system this is. 2. Check that the GitHub CLI (gh) and an OpenSSH client are installed. Install whatever is missing. 3. Install the extension from Open VSX, or from the latest .vsix release if this IDE cannot reach Open VSX. 4. Install the Remote-SSH extension the guide lists for this IDE. In Windsurf, use the built-in SSH and install nothing. 5. Ask me before running "gh auth login -s codespace", and let me finish the browser sign-in myself. 6. Run "Codespaces: Setup Doctor", fix what it reports, and tell me exactly what you changed. Do not delete any codespace and do not edit anything in ~/.ssh/config outside the blocks this extension manages.
Write-ups checked against the code and official docs.
The registry gap, Remote-SSH differences, exit 255 and 127.
From a fresh install to an open codespace.
Step-by-step setup with anysphere.remote-ssh.
Keepalive and idle timeouts, explained.
Core-hours, GB-month and why 4-core halves your hours.
Built-in SSH only, and what to avoid installing.
Which extension each editor uses, and why.
"Pro" is part of the name, not a paid plan. Read the code, file issues and send pull requests.
Install the GitHub CLI and run gh auth login -s codespace. Install Antigravity Codespaces Pro from Open VSX in Cursor; Cursor's bundled anysphere.remote-ssh is used automatically. Run Codespaces: Setup Doctor, then press Alt+C and pick a codespace.
Yes. Antigravity installs extensions from Open VSX. Search for Antigravity Codespaces Pro, install it, and connect through Antigravity's remote support or the Open Remote - SSH extension.
These editors install extensions from Open VSX, and GitHub's Codespaces extension and Microsoft's Remote-SSH extension are not published there. Antigravity Codespaces Pro is published on Open VSX and connects over plain SSH through the GitHub CLI instead.
Cursor: anysphere.remote-ssh (bundled). VS Code: ms-vscode-remote.remote-ssh. VSCodium and Kiro: jeanp413.open-remote-ssh. Windsurf: its built-in SSH only; do not install another Remote-SSH extension.
Either the network drops an idle SSH connection, or GitHub stops the codespace after its idle timeout. The extension writes SSH keepalive settings (ServerAliveInterval 30, ServerAliveCountMax 10) for the first; the second is a setting in your GitHub Codespaces preferences.
The Marketplace currently has an older version (4.3.0). The latest, 5.3.2, is on Open VSX and as a .vsix in the GitHub release.
The extension is free and open source under MIT. "Pro" is part of the name, not a paid plan. Codespaces usage itself is billed by GitHub to your account or organization.
Only from GitHub's billing API for the active gh account, which needs the user scope. If the API fails, the extension shows "Usage unavailable" with the reason. It never estimates.
Free, open source and working with the GitHub account you already have.