@huanlin/dsh-plugin-tools-manager
Plugin Tools Manager
Lists every registered tool grouped by source plugin (tree) and supports globally disabling individual tools; Plugins-page row config card (via /tools-manager/api HTTP route) lets users toggle tools on/off.
The plugin will be installed here. Keep web if you are unsure.
npx -y @deepseek-ai/dsh plugin --profile web add github:HuanLinOTO/dsh-plugin-tools-manager#caf47e3a4ac2de9f897aaa92b6054c8de54af649Compatibility and provenance
Plugin Tools Manager is published as @huanlin/dsh-plugin-tools-manager and currently resolves to version 0.4.1. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.
- DSH compatibility
- *
- Runtime surfaces
- web
- Release source
- github
- Registry updated
Versions
0.4.1stable
0.4.0stable
0.3.2stable
Show 2 more versionsCollapse versions
0.3.1stable
0.3.0stable