Download File
download_fileDownload a file from a URL and save it to a specified local path. Supports binary files like PDFs, images, and archives.
Instructions
Download a URL to a local file, binary-safe (PDFs, images, archives...). Use fetch_url for reading web pages as text; use this when you need the actual file on disk — e.g. download a PDF, then read_file it to extract the text.
Args:
url (string): The file URL (http/https).
path (string): Destination file path. Parent directories are created.
Returns the saved path, size and content type.
Example: { "url": "https://arxiv.org/pdf/1706.03762", "path": "~/papers/attention.pdf" }
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | File URL to download | |
| path | Yes | Destination file path |