he_download_file
Download a challenge's attached file using the challenge ID, saving it locally with metadata like path, filename, content-type, and size.
Instructions
Download a challenge's attached file via the authenticated HackyEaster API. Fetches /app/rest/user/challenge/{id}/file and saves to the data/ directory. Returns the saved path, filename, content-type, and size in bytes.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"challenge_id": "<challenge_id>"
},
"name": "he_download_file"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| challenge_id | Yes | Numeric or slug challenge ID |