overleaf_download_file
Download one Overleaf project file by specifying project ID and file path, receiving its local path for editing. Edit the returned file, then upload with overwrite to update the project.
Instructions
Primary file-reading tool: download exactly one Overleaf file under OVERLEAF_DATA_DIR/workspace/files// and return its path. To modify a paper, download it, edit the returned local file, then call overleaf_upload_file with overwrite: true.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | Yes | File path within the project, e.g. "main.tex" or "figures/chart.png" | |
| project_id | Yes | 24-character hexadecimal Overleaf project ID from the project URL |