read_file_lines
Retrieve a 1-indexed line slice of a file. Use to inspect a stack-trace region or a chunk of a large file without pulling the whole body.
Instructions
Return a 1-indexed inclusive line slice of a file. Out-of-range bounds clamp silently to the file's actual length; to < from throws. Read-only; no side effects, auth, or rate limits. Returns the snippet plus its size_bytes and est_tokens. Use to inspect a stack-trace region or a chunk of a large file without pulling the whole body. Prefer read_section if you know the heading, grep_in_file if you know a pattern but not the line number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | File ID | |
| from | Yes | First line (1-indexed, inclusive) | |
| to | Yes | Last line (1-indexed, inclusive) |