DSH web port manager plugin
WASD258-jpg/dsh-port-manager · skills
DSH web port manager plugin: list local listening ports and hot-switch the DSH web port.
★ 2GitHub stars
0Forks
2026-08-15Last updated
JavaScriptLanguage
NOASSERTIONLicense
Key features
- Settings → Port Managerview and switch the DSH web port from the UI
- roleprovider: reads dsh-port-manager.json and provides the dshPortManager service
- No network requests, no telemetry, no data leaves the machine
- Local port inventoryTCP/UDP listening ports with address, process name, and PID
- the current DSH port is highlighted
Requirements
- DeepSeek Harness 0.1.0-rc.6 (web profile, Windows 11 + PowerShell)
- Bundle patch interfaces at commit 47f9438
Install command
dsh plugin --profile web add github:WASD258-jpg/dsh-port-manager