Showing the last saved plugin snapshot.
← Leaderboard / Developer Tooling / Plugin
runcat-tommy/dsh-mcp-mini-manager
“MCP manager for DeepSeek Harness Web.”
Star rank
#7870declared plugin rank
In Developer Tooling
#344category rank
Stars
1GitHub repository
Forks
1GitHub repository
Watchers
0GitHub subscribers
TL;DR
MCP manager for DeepSeek Harness Web: a Settings page beside Plugins that lists the MCP servers the running loader tree actually holds, each with its config summary, endpoint and live state, and disables or restores any of them through a paired-marker block in the profile's cordis.patch.yml. Env values, header values and `!!js` sources reach the page only as key names or dot-paths.
30 days of GitHub stars
+1 stars
+0% observed change
Oct 14Oct 28Nov 12
