Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

Add installation and configuration documentation for Antigravity CLI

Ouverte Adaptée aux débutants
  • Quelque chose ne va pas ?
#2,529 0 commentaires 4 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
2/5
Temps estimé
1-3 heures
Accessibilité débutants
84/100
Type d'issue
Documentation
Clarté
Clairement spécifiée
Activité
Calme
Stack technique
docker, github
Domaine
cli, documentation

Piste de recherche

Commencez par docs/installation-guides/install-antigravity.md et comparez sa couverture actuelle des IDE avec les références liées concernant la migration et l’utilisation de Antigravity CLI. Ajoutez ou liez une section CLI couvrant les chemins globaux et de workspace, les deux exemples de configuration, le paramètre serverUrl requis et /mcp ; le travail est considéré comme terminé lorsqu’un utilisateur en migration peut configurer et vérifier le serveur GitHub sans dépendre d’instructions propres à l’IDE.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

enhancement request ai review
Describe the feature or problem you’d like to solve

Google recently announced the transition from Gemini CLI to the new Antigravity CLI, with the deprecation of Gemini CLI for free and Pro/Ultra tiers taking effect on June 18, 2026.

Currently, the official repository documentation in docs/installation-guides/install-antigravity.md only covers installation steps for the Antigravity IDE. While the core MCP configuration format is similar, Antigravity CLI uses completely different configuration file paths and directories compared to the desktop IDE. Without explicit documentation for the CLI, users migrating from Gemini CLI will struggle to locate where to place their mcp_config.json files.

Proposed solution

We propose updating the documentation to explicitly include setup instructions for the Antigravity CLI, either by adding a dedicated section to install-antigravity.md or creating a standalone guide.

The documentation should highlight the correct configuration paths and parameters unique to the CLI:

1. Configuration File Locations for Antigravity CLI
  • Global Configuration: ~/.gemini/antigravity-cli/mcp_config.json
  • Workspace Configuration: .agents/mcp_config.json
2. Configuration Setup Options

The guide should provide both setup methods compatible with the CLI architecture:

Option 1: Remote Server Configuration
{
  "mcpServers": {
    "github": {
      "serverUrl": "https://api.githubcopilot.com/mcp/",
      "headers": {
        "Authorization": "Bearer YOUR_GITHUB_PAT"
      }
    }
  }
}

(Note: Emphasize that serverUrl is strictly required instead of url or httpUrl)

Option 2: Local Docker Server Configuration
{
  "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"
      }
    }
  }
}
3. CLI Management Commands

Include a mention of the built-in management commands inside the Antigravity CLI terminal interface to check status:

  • Use /mcp to list and manage active MCP servers.
Example prompts or workflows (for tools/toolsets only)

Not applicable as this is a documentation improvement request. However, it enables the following user workflow within the new CLI environment:

  1. User initializes a project using Antigravity CLI.
  2. User runs /mcp to check connected servers, notices GitHub is missing.
  3. User follows the updated guide to create .agents/mcp_config.json in their repository root.
  4. User runs a terminal command like: Please review my latest open PRs on GitHub and summarize the changes.
Additional context

For more details on the ecosystem migration, architecture, and configuration differences, please see the official resources below:

Langage dominant
Go
Étoiles
33.3k
Forks
5.1k
Merge moyen
1 j 1 h
PR mergées (30 j)
19

Préparer son environnement

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de github/github-mcp-server

Toutes les issues de github/github-mcp-server

Issues similaires

Plus d'issues Go

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.