download_zip
Download a ZIP file of generated PDF reports by providing the request ID. The file is saved to your workspace or a specified output directory.
Instructions
generate_pdfs_asyncで生成したZIPファイルをダウンロードします。requestIdを指定し、ローカルのZIPファイルパスを返します。outputDir を指定するとそのディレクトリに、未指定の場合は現在の作業ディレクトリに保存します。
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": {
"requestId": "<requestId>"
},
"name": "download_zip"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| requestId | Yes | generate_pdfs_asyncで返されたrequestId(UUID) | |
| fileName | No | 保存ファイル名(省略時はrequestId.zip) | |
| outputDir | No | 出力先ディレクトリ (相対/絶対)。未指定時はクライアントのワークスペース (Roots) または現在の作業ディレクトリに保存。ユーザーが場所を指定した場合のみセットすること。 |