dsh-tool-mining：用 GitHub REST API 把仓库数字读准

dsh-tool-mining 是 yuehancn 维护的 DeepSeek Harness 工具插件，仅用 fetch 调用 GitHub REST API，提供 mining_status、contributors、velocity、busfactor、issues 五个工具。它同时报告中位数与均值、过滤 PR 与 bot、处理分页截断，适合在 Harness 中评估仓库维护风险。安装命令为 dsh plugin --profile desktop add github:yuehancn/dsh-tool-mining，建议在 cordis.patch.yml 配置 PAT。兼容 dsh 0.2.0-rc.2，MIT 许可。