MCP server manager for DeepSeek Harness — workspace mcp.json discovery, hot sync, and a web settings UI.