release-monitor 1

DSH plugin: watch new GitHub tags of deepseek-ai/deepseek-harness (optionally through an HTTP proxy) — background poll, in-app reminder banner, /harness-tags command, check_harness_tags tool, settings card