Function: mv
This tool belongs to the Gorilla file system. It is a simple file system that allows users to perform basic file operations such as navigating directories, creating files and directories, reading and writing to files, etc. Tool description: Move a file or directory from one location to another. so
Parameters:
type: dict
properties: source: type: string
description: Source name of the file or directory to move. Source must be local to the current directory.
destination: type: string
description: The destination name to move the file or directory to. Destination must be local to the current directory and cannot be a path. If destination is not an existing directory like when renaming something, destination is the new file name. 
required: source, destination
Response:
type: dict
properties: result: type: string
description: The result of the move operation.