repo.open_file
Read a line range from a source file. Returns numbered lines. Specify start and end line to focus on a specific section.
Instructions
Read a line range from a source file. Returns numbered lines. Specify start_line and end_line to read a focused range rather than the entire file.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Repository-relative file path (e.g. 'src/server.py'). | |
| end_line | No | Last line to read, inclusive. | |
| start_line | No | First line to read, 1-indexed (default 1). |