dsh-mcp-mgryangfch36MCP server manager for DeepSeek Harness — workspace mcp.json discovery, hot sync, and a web settings UI.TypeScript08/17