Antigravity · typestrict docs

O Google Antigravity (CLI e IDE) com o typestrict. A Antigravity CLI substitui a Gemini CLI.

Abra o gerenciador de MCP (/mcp) e adicione o servidor, ou edite a configuração. O Antigravity usa serverUrl para servidores remotos:

~/.gemini/config/mcp_config.json (ou .agents/mcp_config.json num workspace)

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

O Antigravity pede para você entrar no typestrict na primeira vez. Com uma chave de API, adicione "headers": { "Authorization": "Bearer ts_..." }. O servidor local (depois de curl -fsSL https://typestrict.ai/install.sh | sh e typestrict login):

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

Skills. O Antigravity lê skills de .agents/skills no workspace e de ~/.gemini/config/skills:

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

Ainda na Gemini CLI (Gemini Code Assist Standard ou Enterprise)? Use o servidor local do mesmo jeito, em mcpServers no ~/.gemini/settings.json.