Showing the last saved plugin snapshot.

← Leaderboard / Developer Tooling / Plugin
Last repository activity November 11, 2026 · Created October 13, 2026

runcat-tommy/dsh-mcp-mini-manager

“MCP manager for DeepSeek Harness Web.”

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