read_file
Retrieve source code from any repository file without shelling out. Specify repo-relative path and optional offset/max_lines to paginate large files.
Instructions
Read an arbitrary source file from a repository without shelling out.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Repo-relative file path, e.g. src/ir/pass_manager.py or python/pypto/ir/ops.py | |
| repo | Yes | Repository name from list_repositories(), e.g. "pypto" | |
| offset | No | Zero-indexed line to start reading from (for pagination) | |
| max_lines | No | Maximum lines to return (1–2000) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||