get_file
Retrieve the complete content of a file from an indexed repository by specifying repo, path, and optional branch (default HEAD). Returns file content along with metadata.
Instructions
Fetch the full contents of a file from an indexed repository.
``repo`` is the repository name as reported by ``list_repos``;
``path`` is the file path within that repo; ``branch`` defaults
to ``HEAD`` but can be any branch zoekt has indexed. Returns
``{"repo", "path", "branch", "content"}``.
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>",
"path": "<path>"
},
"name": "get_file"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| path | Yes | ||
| branch | No | HEAD |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||