xsoc1/math-research-dsh

README 摘要

math-research-dsh English: README EN.md math-research Codex 插件市场的 DSH (DeepSeek Harness) 适配版: 4 个 Codex 插件 (rigorous-open-math-research / manage-math-research-program / math-research-workflow / lean-verify) 以原生 DSH skill 形式发布, 脚本与模板随 bundle 分发. 背景与现状 - 上游是 Codex marketplace 仓库, 只能以 Codex 打包格式安装 (plugin.json / openai.yaml / marketplace.json / cachebuster), DSH 无法直接消费. 本仓库把每个插件转为一个 DSH skill bundle (目录 + SKILL.md frontmatter), 内容与上游保持同步. - 当前状态 (2026-08-16): 4 个 skill 全部适配完毕; 本机已通过 install.ps1 以 junction 安装到 $DSH HOME/skills ; 安装后 DSH 会话技能目录即时可见 (watcher 跟随 junction); 仓库校验与 5 个冒烟全绿; GitHub Actions 已接入; 仓库根已打包为官方 bundle 技能包 (社区一键安装 + 收录申请已提交). 仓库间关系 - 本仓库只读消费父仓库, 从不修改它; 父仓库自身的维护规则 (validate all, cachebuster, 双仓库推送) 与本仓库互不干扰. - 上游内容更新时, 在本仓库重跑 sync-from-parent.py 即可; CI 的 sync-check job 每次 push 自动做漂移检查. - 本仓库不修改 DSH harness 本体, 也不绑定某个 agent preset; 安装到用户技能根 ( $DSH HOME/skills ) 后, 任何 standard/cordis preset 会话自动发现这 4 个 skill. Skill 一览 DSH skill 角色 随包工具 math-research-workflow 编排: 管理 - 研究 - 验证流水线, 阶段门禁, 中断交接协议 scripts/validate pipeline.py , assets/ 模板 manage-math-research-program 项目管理: 项目初始化, 文献, 工具库, 任务包, 已接受知识流水线 scripts/{init project,validate project,sync remotes}.py , assets/ 模板, blue…

分类