Showing the last saved plugin snapshot.
← Leaderboard / Developer Tooling / Plugin
HuanLinOTO/@huanlin/dsh-plugin-tools-manager
“Lists every registered tool grouped by source plugin (tree) and supports globally disabling individual tools; settings…”
Star rank
#11217declared plugin rank
In Developer Tooling
#495category rank
Stars
0GitHub repository
Forks
0GitHub repository
Watchers
0GitHub subscribers
TL;DR
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.
30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12
