dsh-frontier-math
适用于 DeepSeek Harness 的证据门控前沿数学研究工作流
插件会安装到这里；不确定时保持 web。
npx -y @deepseek-ai/dsh plugin --profile web add github:inoricon1/dsh-frontier-math#95ba40e7fa4e31f7ba08a466eedd155dca0c6d2aFrontier Math 以 dsh-frontier-math 发布，当前版本为 0.1.1。Plugin Hub 会校验它的 manifest，并保存精确安装来源，便于复现安装结果。
一个面向 DeepSeek Harness 的前沿数学研究插件。它不会承诺“自动解决任意开放问题”，而是通过严格的选题、开放状态核实、声明依赖和独立验证门槛，提高产出真正新颖且可复核结果的概率。
frontier_math_project创建、评分、查看和推进研究项目。问题必须通过以下硬门：
frontier_math_prior_art核实问题是否已解决。一次完整审计必须覆盖：
至少需要两个独立域名、两个来源类别、两个证据家族，以及一个权威来源。发现可信的已解、已否证、部分结果或状态冲突时，项目自动阻断，直到逐项比较假设、结论、参数范围和量词顺序。
搜索摘要只能用于发现线索。任何中高可信度分类都必须保存实际来源中的短证据摘录，以及定理号、章节、页码或问题库条目位置；缺少这两项时审计会拒绝该分类。子域名会按保守的可注册主域归并，不能用同一站点的多个镜像伪造独立来源。
frontier_math_claim记录猜想、经验发现、推导、反例和定理，并维护无环依赖图。依赖未验证时，结论不能标为已验证。
frontier_math_certificate记录 Lean、精确计算、SAT/SMT、区间算法、文献与专家复核证书。首版只记录独立验证结果，不执行任意命令。
在本目录运行：
npm run verify
dsh plugin --profile web add link:.
重启 DSH Web 后检查：
dsh --profile web --dump-config
浏览器研究状态面板：
http://127.0.0.1:3080/frontier-math
provisionally_open 后才进入研究阶段。recheck，重新完成五类检索。ready_for_expert_review；最终仍由领域专家确认。默认位于：
%DSH_HOME%/frontier-math
每个项目是一个带 schema 版本的 JSON 文件。写入采用同目录临时文件加原子替换；Web API 只读，不提供任意文件路径。
GET /api/frontier-math/healthGET /api/frontier-math/projectsGET /api/frontier-math/project?id=<project-id>GET /frontier-mathdeepseek-v4-promaxnpm run verify
npm pack --dry-run
设计依据和研究证据见 report-source.md 与 docs/plans/。