Add delete_tool: trash-based tool removal with restore support

Fork: 0

root / navi-1

Browse code Add delete_tool: trash-based tool removal with restore support Moves tool files to tools/.trash/ instead of deleting permanently. Actions: remove (trash + unregister), restore (recover + re-register), list. Data files are intentionally left in place on both remove and restore. Available only in the developer profile. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> feature/navi-code master vmkdemo
1 parent a03b29a commit 2c4b80833296e4ee93fb9421a6a306551ddcab30 Eugene Sukhodolskiy authored on 15 Apr

Browse code

Moves tool files to tools/.trash/ instead of deleting permanently.
Actions: remove (trash + unregister), restore (recover + re-register), list.
Data files are intentionally left in place on both remove and restore.
Available only in the developer profile.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

feature/navi-code master vmkdemo

1 parent a03b29a commit 2c4b80833296e4ee93fb9421a6a306551ddcab30

Eugene Sukhodolskiy authored on 15 Apr

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View navi/core/registry.py

Ignore Space Show notes View navi/profiles/developer.py

Ignore Space Show notes View navi/tools/__init__.py

Ignore Space Show notes View navi/tools/delete_tool.py 0 → 100644

Show line notes below