0a8930d60d
## Description <!-- Briefly describe what this PR does and why --> Adds a module to open coder workspaces in Antigravity. ## Type of Change - [X] New module - [ ] New template - [ ] Bug fix - [ ] Feature/enhancement - [ ] Documentation - [ ] Other ## Module Information <!-- Delete this section if not applicable --> **Path:** `registry/coder/modules/antigravity` **New version:** `v1.0.0` **Breaking change:** [ ] Yes [ ] No ## Testing & Validation - [ ] Tests pass (`bun test`) - [ ] Code formatted (`bun fmt`) - [ ] Changes tested locally ## Related Issues <!-- Link related issues or write "None" if not applicable --> --------- Co-authored-by: Atif Ali <atif@coder.com>
1.8 KiB
1.8 KiB
| display_name | description | icon | verified | tags | ||||
|---|---|---|---|---|---|---|---|---|
| Antigravity | Add a one-click button to launch Google Antigravity | ../../../../.icons/antigravity.svg | true |
|
Antigravity IDE
Add a button to open any workspace with a single click in Antigravity IDE.
Uses the Coder Remote VS Code Extension.
module "antigravity" {
count = data.coder_workspace.me.start_count
source = "registry.coder.com/coder/antigravity/coder"
version = "1.0.0"
agent_id = coder_agent.example.id
}
Examples
Open in a specific directory
module "antigravity" {
count = data.coder_workspace.me.start_count
source = "registry.coder.com/coder/antigravity/coder"
version = "1.0.0"
agent_id = coder_agent.example.id
folder = "/home/coder/project"
}
Configure MCP servers for Antigravity
Provide a JSON-encoded string via the mcp input. When set, the module writes the value to ~/.gemini/antigravity/mcp_config.json using a coder_script on workspace start.
The following example configures Antigravity to use the GitHub MCP server with authentication facilitated by the coder_external_auth resource.
module "antigravity" {
count = data.coder_workspace.me.start_count
source = "registry.coder.com/coder/antigravity/coder"
version = "1.0.0"
agent_id = coder_agent.example.id
folder = "/home/coder/project"
mcp = jsonencode({
mcpServers = {
"github" : {
"url" : "https://api.githubcopilot.com/mcp/",
"headers" : {
"Authorization" : "Bearer ${data.coder_external_auth.github.access_token}",
},
"type" : "http"
}
}
})
}
data "coder_external_auth" "github" {
id = "github"
}