Pull environment to a file
pull_envWrite an environment (or a subset of keys) straight to a file on the user's machine without the values passing through you. Returns a one-time shell command (curl or PowerShell) that downloads the export and saves it; the ticket works once and expires in 10 minutes. Requires secrets:read. Audited when issued and when redeemed.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"project": "<project>",
"environment": "<environment>"
},
"name": "pull_env"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | No | File name the command writes, in the current directory (default .env.local) | .env.local |
| keys | No | Only these keys (default: all) | |
| format | No | File format | dotenv |
| project | Yes | Project slug or id | |
| environment | Yes | Environment slug or id, e.g. development, preview or production |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| keys | Yes | ||
| ticket | Yes | ||
| project | Yes | ||
| pullUrl | Yes | ||
| expiresAt | Yes | ISO 8601 timestamp | |
| environment | Yes |