Antigravity · typestrict docs

Google Antigravity (CLI e IDE) con typestrict. Antigravity CLI reemplaza a Gemini CLI.

Abre el administrador de MCP (/mcp) y agrega el servidor, o edita la configuración. Antigravity usa serverUrl para los servidores remotos:

~/.gemini/config/mcp_config.json (o .agents/mcp_config.json en un workspace)

{
  "mcpServers": {
    "typestrict": { "serverUrl": "https://api.typestrict.ai/mcp" }
  }
}

Antigravity te pide iniciar sesión en typestrict la primera vez. Con una clave de API, agrega "headers": { "Authorization": "Bearer ts_..." }. El servidor local (después de curl -fsSL https://typestrict.ai/install.sh | sh y typestrict login):

{
  "mcpServers": {
    "typestrict": { "command": "typestrict", "args": ["mcp"] }
  }
}

Skills. Antigravity lee las skills de .agents/skills en el workspace y de ~/.gemini/config/skills:

git clone https://github.com/typestrict-lab/skills.git
mkdir -p .agents/skills && cp -r skills/typestrict-* .agents/skills/

¿Sigues en Gemini CLI (Gemini Code Assist Standard o Enterprise)? Usa el servidor local de la misma forma, en mcpServers dentro de ~/.gemini/settings.json.