move_file
Move or rename a workspace file.
Parameters#
| Name | Type | Required | Default |
|---|---|---|---|
src | string | yes | |
dst | string | yes | |
assistant_id | string | no | |
change_summary | string | no | “ |
Generated from the server tool’s docstring by generate_mcp_docs. Extend this page freely — the generator never overwrites an existing file.