Showing the last saved plugin snapshot.

← Leaderboard / Developer Tooling / Plugin
Last repository activity September 10, 2026 · Created August 14, 2026

HuanLinOTO/@huanlin/dsh-plugin-tools-manager

“Lists every registered tool grouped by source plugin (tree) and supports globally disabling individual tools; settings…”

Star rank
#11217
declared plugin rank
In Developer Tooling
#495
category rank
Stars
0
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
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