download_single_file
Download individual files from web URLs to your local system with optional custom filenames and download size limits.
Instructions
Download a single file from URL with optional custom filename.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| filename | No | Custom filename (optional) | |
| max_size_mb | No | Maximum file size in MB (default: 500) | |
| output_dir | No | Directory to save the file | |
| timeout | No | Download timeout in seconds | |
| url | Yes | URL of the file to download |
Input Schema (JSON Schema)
{
"properties": {
"filename": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"description": "Custom filename (optional)",
"title": "Filename"
},
"max_size_mb": {
"default": 500,
"description": "Maximum file size in MB (default: 500)",
"maximum": 5000,
"minimum": 1,
"title": "Max Size Mb",
"type": "integer"
},
"output_dir": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"description": "Directory to save the file",
"title": "Output Dir"
},
"timeout": {
"default": 60,
"description": "Download timeout in seconds",
"maximum": 300,
"minimum": 1,
"title": "Timeout",
"type": "integer"
},
"url": {
"description": "URL of the file to download",
"title": "Url",
"type": "string"
}
},
"required": [
"url"
],
"type": "object"
}