math research · DSH plug-in market
xsoc1/math-research-dsh · skills
DSH adaptation of the math-research Codex plugin marketplace: rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify as DeepSeek Harness skills.
★ 0GitHub stars
0Forks
2026-08-17Last updated
PythonLanguage
MITLicense
Project overview
上游内容来自 Codex 市场仓库 xsoc1/rigorous-open-math-research. 本仓库保持上游文件字节级一致, 只叠加一个机器重放的 DSH 层:
scripts/sync-from-parent.py 拷贝父仓库 bundles, 重放 DSH 层, 重生成 manage bundle 的 MANIFEST.sha256, 并写入 upstream.lock.json (父仓库 commit + 逐文件哈希). DSH 性能适配
GitHub Actions 每次 push 运行以上全部 + 对父仓库的 --check 漂移比较. 维护规则
Install command
dsh plugin --profile web add github:xsoc1/math-research-dsh