Delete a workspace index
delete_indexRemove a workspace symbol index and its persisted cache files, forcing the next index_workspace to rebuild from scratch. Source files remain unchanged.
Instructions
Drop a workspace symbol index built by index_workspace: removes it from the current session and deletes its persisted cache files (SQLite db / JSON) so the next index_workspace rebuilds from scratch. Omit root when exactly one index exists; with several indexes you must pass root. Non-destructive to source files — only cache is removed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| root | No | index root to delete; required when several indexes exist |