copy_file
Copies a file from a specified source to a destination, with an option to overwrite if the destination already exists.
Instructions
Copy a file to a new location
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": {
"source": "<source>",
"destination": "<destination>"
},
"name": "copy_file"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | Yes | Source file path | |
| destination | Yes | Destination file path | |
| overwrite | No | Overwrite destination if it exists |