Vibe-Mathematics
Installs four multi-agent math-research presets for DSH: v2 (probability-driven pipeline with multi-verifier debate), v3 (paper-style Markdown knowledge base with a planner agent and a reusable method library), v4 (persistent self-organizing residents that message and meet), and v5 (a research institute with an academician who decomposes and assigns work, voting researchers, temp workers, group chat and a compare-and-set task board); all four support checkpoint resume, human intervention, and an optional Lean formal-verification switch (off/encourage/require) whose passing proof turns the vote into a fidelity check of the Lean statements.
为 DSH 安装四个多代理数学研究预设：v2（概率驱动流水线 + 多验证器辩论）、v3（论文式 Markdown 知识库 + 规划代理 + 可复用方法库）、v4（常驻自组织成员，靠留言与开会决定一切）、v5（研究所：院士拆解并分派任务、有表决权的研究员、临时工、群聊与 CAS 任务板）；四套均支持断点续跑、人工干预，以及可调档的 Lean 形式化验证（off/encourage/require，一旦跑通，表决转为对 Lean 陈述的忠实性核对）。
How to install
dsh plugin add dsh-vibe-math About
Vibe Mathematics — 多代理数学问题求解与验证框架 一个运行在 **DeepSeek Harness** 内的**永久 agent preset**（vibe-math）。 它用「**广度探索 → 深度迭代 → 交叉验证 → 知识沉淀**」的闭环，自动求解数学问题， 并对每个结论做多代理交叉验证；支持**断点续跑**与**中途人工干预**，全程可由自然语言驱动。 --- ✨ 功能特色 **多代理自动求解**：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider 等子代理协同求解，**你无需逐节点手操**。 **多代理交叉验证**：每个结论拆成最小验证单元，≥3 个「严苛审稿人」独立审查 → 辩论 → 裁决（一票否决 / 加权投票）。 **知识沉淀**：验证通过的结论晋升进 Verified/ 可信知识库，供后续方向复用。 **断点续跑**：调度状态、任务栈、代理注册表、决策队列、依赖图、验证器历史准确率等全部落盘；重启后 resume 即可恢复（含对账，不会卡死）。 **中途人工干预（并继续）**：auto / manual 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。 **按项目隔离**：每个数学问题一个独立项目文…
Recommendation signals
Meta
- License
- MIT
- Language
- JavaScript
- GitHub stars
- 32
- mo. downloads
- 9.1K
- Last push
- 2026-09-23
- Created
- 2026-08-02
Basic safety check
- Findings
- None
- Sources
- curated:awesome-dsh-plugin.com, curated:awesome-dsh-plugin/awesome-dsh-plugin
- Topics
- agent-preset, ai-agents, deepseek-harness, dsh-plugin, llm, math, multi-agent, theorem-proving
Related plugins
compound-engineering-plugin
EveryInc/compound-engineering-plugin
Official Compound Engineering plugin for Claude Code, Codex, Cursor, and more
gstack
garrytan/gstack
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
dsh-browser
omdsh-dev/dsh-browser
Chrome sidebar extension that lets DeepSeek Harness operate your browser directly, no vision capabilities required. 一款 Chrome 侧边栏扩展程序，可让 DeepSeek Harness 直接操控您的浏览器，无需视觉能力。
n8n-mcp
czlonkowski/n8n-mcp
A MCP for Claude Desktop / Claude Code / Windsurf / Cursor to build n8n workflows for you