## Description #750 follow-up ## Type of Change - [ ] New module - [ ] New template - [ ] Bug fix - [x] Feature/enhancement - [ ] Documentation - [ ] Other
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.1"
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.1"
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.1"
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"
}