ollie/data/tools/file_read.meta

27 lines
1.1 KiB
Plaintext

{
"description": "Read a file with line numbers. Prefer segments over full reads.",
"prompt": "## file_read\n\nRead a file with line numbers. Prefer segments over full reads.\n\n**Args**: `path` (required), optional `start` and `end` line numbers\n\n- `start`/`end`: 1-indexed line numbers, inclusive. Use integers. Max segment: 2000 lines.\n- No `start`/`end`: reads up to 500 lines from line 1.\n\n```\nfile_read(path=\"<ABSOLUTE_PATH_FROM_PWD>\")\nfile_read(path=\"<ABSOLUTE_PATH_FROM_PWD>\", start=100, end=200)\n```\n\n- Use `start`/`end` as integers even though they represent line numbers.\n\n**Constraints**: Absolute paths only.",
"args": {
"type": "object",
"required": [
"path"
],
"properties": {
"path": {
"type": "string",
"description": "Absolute path to file"
},
"start": {
"type": "integer",
"description": "1-indexed start line (default: 1). Use an integer."
},
"end": {
"type": "integer",
"description": "1-indexed end line, inclusive (max 2000 line segment). Use an integer."
}
}
},
"tier": "cold",
"scope": "read"
}