download_file
Download files from a remote server over SSH. Provide the server ID and remote path to save the file locally, with an optional background mode for large files.
Instructions
Download file from remote server (use async mode for large files)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| server_id | Yes | Server ID (configured server_id or host:port from quick_connect) | |
| local_path | No | Local save path. Leave empty to save in current directory | |
| remote_path | Yes | Remote file path | |
| async_transfer | No | Recommended for large files. Runs in background and returns task ID |