deepseekplugins

DeepSeek Harness 插件

math-research-dsh

严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。

Skills 与任务指令未检测到许可证
跳到安装方式

来源信息

GitHub 仓库
xsoc1/math-research-dsh
最近更新
2026年8月15日
主要分类
Skills 与任务指令
GitHub stars
0
GitHub forks
暂无数据

先让 Agent 帮你看，再安装

把 GitHub 链接发给 DSH、Codex 或其他 Agent，请它先说明用途、权限、安装和卸载方法。确认后再复制命令；Agent 打不开链接时，可以粘贴 README 内容。

dsh plugin --profile web add github:xsoc1/math-research-dsh

此命令由社区插件清单提供。运行前请打开仓库，确认安装说明和会执行的脚本。

查看原始目录数据

下面保留社区清单中的原始字段，方便和 GitHub 仓库核对。

原始数据1 个文件
registry-record.json只读
registry-record.json使用前请到 GitHub 核对
{
  "name": "math-research-dsh",
  "owner": "xsoc1",
  "category": "skill",
  "description": "Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.",
  "descriptionZh": "严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。",
  "install": "dsh plugin --profile web add github:xsoc1/math-research-dsh",
  "npm": null,
  "stars": 0,
  "added": "2026-08-15",
  "source": "registry"
}

安装前至少确认这几件事

看它会改哪些文件、访问哪些网站或 API key、运行哪些安装脚本，以及是否提供许可证和卸载方法。GitHub stars 只表示关注度。

返回搜索打开 GitHub 仓库

更多相关插件

查看分类