DeepSeek Harness 插件Manifest 有效

math-research-dsh

面向长期数学研究、流程连续性与 Lean 形式化验证的 DeepSeek Harness 技能套件包。

终端与 TUI开发者工具安全与策略Skills 与工作流远程执行

3GitHub Stars0Fork 数更新于2026-10-19

源码

安装

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

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

math-research-dsh 是一个 DeepSeek Harness 技能套件包，单向适配了四个独立的数学研究技能：math-research-workflow、manage-math-research-program、rigorous-open-math-research 与 lean-verify。它为数学研究者和智能体提供文献阅读、可批注工具积累、会话任务续接以及 Lean 形式化证明验证能力。

核心能力

通过 Cordis 补丁与 ctx.skills.register 组合注册四个数学研究技能
管理数学文献分析、项目工具卡批注与生命周期
支持研究状态保存、检查点恢复与中断交接
辅助严谨数学推导、反例搜索与论证审计
集成 Lean 编译反馈与目标检查，提供可复现的验证脚本支持

适用场景

在 DeepSeek Harness 中进行长期连续的数学理论推导与研究
构建数学知识蓝图、引理索引与文献库
在研究流水线中执行 Lean 形式化编译与证明复核

适合谁

使用 DeepSeek Harness 进行科研推导的数学研究者
Lean 4 形式化验证工程师与研究人员
需要连续数学推理工作流的 AI 智能体编排者

文档中可确认的限制

依赖兼容的 DeepSeek Harness 环境（>=0.1.7-rc.2）及 Node.js 运行环境
Lean 真实编译测试需要本地配置外部 Lean/Lake 工具链
部分测试基准原件未打包在分发包中，缺失原件时将自动跳过

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 0 个运行依赖、0 个开发依赖、0 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: xsoc1/math-research-dsh
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 2ddaa45 · 2026-10-26

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 3GitHub stars
Fork 数: 0
未关闭 Issue: 0
最近提交: 2026-10-19
最近发布: 未发现 Release