deepseekplugins

GitHub 开发者

xsoc1

1 个 DSH 插件 GitHub 合计 0 stars涉及 1 类功能

在 GitHub 查看
已同步社区插件清单。每条记录都可以继续打开 GitHub 来源。

主要功能

xsoc1 做了哪些类型的插件

按每个插件的主要分类统计
Skills 与任务指令1 个插件0 GitHub stars

插件列表

xsoc1 发布的插件

1 个插件
math-research-dsh严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。Skills 0
全部开发者