vibedoc_delete_doc

Delete a doc file. This action cannot be undone.

Parameters

Name	Type	Required	Description
path	string	yes	Path of the doc to delete

Call it

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "vibedoc_delete_doc",
    "arguments": {
      "path": "<string>"
    }
  }
}