downloader
Download a file from a given URL and save it to a specified local path. Supports any file type accessible via HTTP/HTTPS.
When to Use
✅ USE this skill when:
- When the user wants to download a file from a URL to the local machine.
- When the user needs to save a remote resource (image, audio, video, document, etc.) locally.
- When the user provides a download link and wants to store the file at a specific path.
When NOT to Use
❌ DON'T use this skill when:
- When the user only wants to view or read a URL content without saving to disk.
Parameters
| Parameter | Type | Required | Description |
|---|---|---|---|
| url | string | Yes | The URL of the file to download |
| save_path | string | No | Local path to save the file (defaults to current directory with original filename) |
Commands
Basic Call
python3 scripts/download.py --url 'https://example.com/file.png'
Save to a specific path
python3 scripts/download.py --url 'https://example.com/file.png' --save_path './downloads/image.png'
Examples
"Help me download this image."
python3 scripts/download.py --url 'https://example.com/photo.jpg'
"Download this PDF and save it to the reports folder."
python3 scripts/download.py --url 'https://example.com/report.pdf' --save_path './reports/report.pdf'
Response
Script outputs JSON to stdout:
code = 0— success,datacontains the local file path where the file was savedcode != 0— error, showmessageto the user and suggest retrying
{
"code": 0,
"message": "success",
"data": "./downloads/file.png"
}
Notes
- Requires
requestspackage:pip install requests