它可能解决什么问题
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
第三方目录导入描述，不是 Registry 验证结论。math-research-dsh
来源级候选严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
作者： xsoc1 · 技能包 · 目录快照： 2026-09-04来源与公开信号
2 stars · — downloads
信号由来源目录提供，不代表质量或安全。 2026-09-04当前可以确认的边界
DSH 兼容性
尚无精确版本测试。
安全分析
尚无 Registry 安全结论。
功能验证
尚无功能冒烟证据。
权限
尚未解析插件权限。
精确制品
版本与完整性尚未解析。
交给插件管理器继续检查
在 DSH 对话中描述你的任务，并提到 math-research-dsh. 插件管理器可通过 Registry 搜索到此候选，再在本地检查实际来源与版本。
可供本地检查的来源
- GitHub 来源
github:xsoc1/math-research-dsh未解析精确版本