git_clone
Clone a git repository into an isolated sandbox environment, including private repos via auth token and shallow cloning for speed.
Instructions
Clone a git repository into the sandbox.
Args: repo: Repository URL (e.g., "https://github.com/user/repo.git") branch: Branch to clone (default: repo's default branch) token: Optional auth token for private repos (injected securely, not in URL or history) path: Parent directory for clone (default: /workspace) shallow: If True, clone with --depth 1 for speed (default: True) sandbox: Named sandbox to use (default "default")
Returns: Clone result with repo info.
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": {
"repo": "<repo>"
},
"name": "git_clone"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| branch | No | ||
| token | No | ||
| path | No | /workspace | |
| shallow | No | ||
| sandbox | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |