Read File
readRead text files with numbered lines: specify a file path and optional start/end lines to view exact content within a workspace, helping verify file state before edits.
Instructions
Read a specific text file with line numbers. Avoid rereading files after write/edit unless exact final content is needed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | File path relative to workspace root. | |
| end_line | No | Last line to read. Default: end of file. | |
| max_bytes | No | Maximum file bytes. Capped by server config. | |
| start_line | No | First line to read. Default: 1. | |
| workspace_id | No | Optional workspace id. When omitted, CodexPro binds the authoritative conversation workspace automatically; an explicit unknown or mismatched id is rejected. | |
| conversation_id | No | Connector conversation id bound to this workspace. Modern MCP injects it automatically; side-effecting tools require it to match the authoritative binding. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tool_result | Yes |