export_files
Register files for download and cross-session import. Each file receives a download URL for API access.
Instructions
Registers files for download and cross-session import (no host copy).
Files become available via the API download endpoint and for import_files
in other sessions. Result includes download_url for each file (API must
be running).
Args:
session_id: ID returned by create_session.
files: List of objects with "source" (path in container).
Example: [{"source": "report.pdf"}, {"source": "/workspace/data.csv"}]
Returns:
JSON with per-file results (session_id, path, success, size, error,
download_url). path is always absolute (e.g. /workspace/file.png).
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": {
"session_id": "<session_id>",
"files": "<files>"
},
"name": "export_files"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | ||
| files | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||