插件目录 / xsoc1
xsoc1/math-research-dsh
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计…
安装
dsh plugin --profile web add github:xsoc1/math-research-dsh项目信息
Stars：0 · 能力：Skills · 类型：工具 · 更新：2026-08-20T15:05:24Z
主题：dsh-plugin