math-research-dsh
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.
怎么安装
dsh plugin add github:xsoc1/math-research-dsh 简介
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); 仓库校验与 11 个冒烟全绿; GitHub Actions 已…
推荐参考
信息
- 协议
- MIT
- 语言
- Python
- GitHub 星标
- 2
- 月下载
- –
- 最近更新
- 2026-09-09
- 创建于
- 2026-08-14
基础安全检查
- 检查结果
- curated 收录但无 npm 包/安装命令
- 收录来源
- curated:awesome-dsh-plugin.com, curated:awesome-dsh-plugin/awesome-dsh-plugin
- 主题标签
- dsh-plugin
同类推荐
ruflo
ruvnet/claude-flow
🌊 原始的代理元框架。部署智能多智能体群体，协调自主工作流，构建对话式AI系统。具备自适应记忆、自学习智能、RAG集成，并原生集成Claude Code / Codex / Hermes等。