严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
- 许可证
- MIT
- 收录日期
- 2026-08-15
GitHub 信息
- 许可证
- MIT
- 主要语言
- Python
- 最近推送
- 2026年8月20日 15:05
- 维护者
- xsoc1
- 收录日期
- 2026-08-15
安装
安装命令
dsh plugin --profile web add github:xsoc1/math-research-dshREADME 徽章
将这段 Markdown 添加到插件 README，链接到对应的详情页。
Listed onDSH Get
[](https://dshget.com/plugins/xsoc1/math-research-dsh)相关插件
技能包dsh-web#packages/dsh-skill-explorer
★ 6418技能中心：按来源分级浏览已加载的全部 skill，启用/禁用模型调用、创建新技能、删除进可恢复回收站。
技能包zhu1090093659
Aegis
★ 1152面向编码 Agent 的软件工程方法包，提供基线优先规划、系统化调试、提示词卫生、完成前验证，以及修复/退役双轨跟踪技能。
技能包GanyuanRan
superdesign-skill
★ 485在 Superdesign 画布上做 UI 与营销图的设计技能：先读代码库拿上下文、抽取现有设计系统，再通过 Superdesign CLI 生成并迭代可分支的设计稿、流程页与可复用组件。
技能包superdesigndev