vibedoc_rename_doc

Rename or move a doc file to a new path.

Parameters

Name	Type	Required	Description
oldPath	string	yes	Current path of the doc
newPath	string	yes	New path for the doc

Call it

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "vibedoc_rename_doc",
    "arguments": {
      "oldPath": "<string>",
      "newPath": "<string>"
    }
  }
}