Overview
dsh-frontier-math
Evidence-gated frontier mathematics research workflow for DeepSeek Harness
README / EN
Package documentation
Registry summary
Evidence-gated frontier mathematics research workflow for DeepSeek Harness
dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.
Read the full README on GitHubLIMITATIONS
Known limitations
- 自动检索有覆盖盲区，不能替代 MathSciNet、zbMATH、专业数据库或领域专家。 - 来源分类由模型完成，必须保留原始链接和理由供人检查。 - “价值”和数学等价性含专家判断，评分只用于排序。 - 首版不直接执行 Lean 或其他验证器；它记录外部运行形成的证书。 - JSON 存储适合个人研究组合，不面向大型多用户并发部署。