HuanLinOTO/dsh-plugin-tools-manager0

@huanlin/dsh-plugin-tools-manager

Lists every registered tool grouped by source plugin (tree) and supports globally disabling individual tools; settings card (via /tools-manager/api HTTP route) lets users toggle tools on/off.

包名
@huanlin/dsh-plugin-tools-manager
版本
0.3.0
许可证
NOASSERTION
最近更新
2026年9月10日

安装

$npx -p @deepseek-ai/dsh dsh plugin --profile web add github:HuanLinOTO/dsh-plugin-tools-manager

配置

默认配置(cordis.patch.yml):

disabled: []    # 预置禁用的工具名列表(默认空)

运行时通过设置页「插件配置」分区的卡片修改,持久化到 $DSH_HOME/settings.yaml