typestrict.aidocs

Antigravity

Google Antigravity (CLI and IDE) with typestrict. Antigravity CLI replaces Gemini CLI.

Open the MCP manager (/mcp) and add the server, or edit the configuration. Antigravity takes serverUrl for remote servers:

~/.gemini/config/mcp_config.json (or .agents/mcp_config.json in a workspace)
{
  "mcpServers": {
    "typestrict": { "serverUrl": "https://api.typestrict.ai/mcp" }
  }
}

Antigravity asks you to sign in to typestrict the first time. With an API key, add "headers": { "Authorization": "Bearer ts_..." }. The local server (after curl -fsSL https://typestrict.ai/install.sh | sh and typestrict login):

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

Skills. Antigravity reads skills from .agents/skills in the workspace and from ~/.gemini/config/skills:

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

Still on Gemini CLI (Gemini Code Assist Standard or Enterprise)? Use the local server the same way, under mcpServers in ~/.gemini/settings.json.