read_lines
Retrieves exact numbered lines from a file in an indexed repo so you can open a citation in full before quoting or editing, since search results are trimmed snippets.
Instructions
Exact, numbered lines from a file in an indexed repo. Use this to open a citation in full before quoting or editing it, since search results are trimmed snippets. Refuses paths outside the repo.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| end | Yes | Last line to return (inclusive). | |
| path | Yes | The file, relative to the repo root, as a citation shows it. | |
| repo | No | Name of an indexed repo, as list_repos shows it. Leave out when only one repo is indexed. | |
| start | Yes | First line to return (1-based). |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |