ChongCyrus/Vibe-Mathematics
Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).
Vibe Mathematics installs four multi-agent agent presets into DeepSeek Harness for solving and cross-verifying mathematical problems. All four share checkpoint resume, mid-run manual intervention, progress reporting and natural-language driving, but use different solving architectures: v2 (probability-driven, JSON data layer; classic), v3 (Markdown paper/research-report store with a planner agent and a reusable methods library; classic), v4 (experimental resident self-organizing collaboration where persistent subagents message and meet), and v5 (experimental institute system with academicians, resident researchers and temp workers, a compare-and-set task board and voting). Verifiers review independently and only write a result to Verified/ once agreement thresholds are met; an optional Lean formal-verification layer is documented, but the framework does not bundle Lean.
Install
dsh plugin --profile web add dsh-vibe-mathnpm package dsh-vibe-math 2.6.0 (registry re-verified 2026-09-30; repository field points back at github.com/ChongCyrus/Vibe-Mathematics, MIT). The README also gives the git form dsh plugin --profile <your profile> add github:ChongCyrus/Vibe-Mathematics, and a desktop-app path via Settings -> Plugins. After installing, four agent presets (Vibe Math V2/V3/V4/V5) appear in DSH's preset picker.
Compatibility
DeepSeek Harness. The README states the package adapts to two DSH generations: on DSH >= 0.1.7 the four presets are declared as composition rows in cordis.patch.yml (nothing is written to ~/.dsh/.agent-presets/), while on DSH <= 0.1.6 the installer writes the four preset directories there and the declaration rows register nothing (so older hosts do not error at boot).
Details
- Repo: ChongCyrus/Vibe-Mathematics
- Category: Workflow & Automation
- Stars: 5
- Version: npm dsh-vibe-math 2.6.0 (registry re-verified 2026-09-30); MIT
- Last push: 2026-08-19
- First seen: 2026-08-02
Recent updates
The README documents behaviour across the two DSH preset generations, that an upgrade replaces the managed preset content wholesale (with hand edits backed up for the directory form), and that a user's own declaration for the same id wins.
FAQ
- How do I install Vibe Mathematics?
- Run dsh plugin --profile web add dsh-vibe-math (or github:ChongCyrus/Vibe-Mathematics), or install from Settings -> Plugins in the desktop app. Four presets then appear in the preset picker.
- What are the four presets?
- Per the README: v2 and v3 are the classic, mature architectures; v4 is an experimental resident self-organizing collaboration; v5 is the experimental 'institute' system with voting. They are peers that share checkpoint resume, mid-run intervention, progress reporting and natural-language driving.
- Does it bundle Lean?
- No. The README states the framework does not bundle Lean; without the toolchain it degrades gracefully and records that faithfully, and Lean passing only means the formalised code passed the kernel check, not that the proposition is true.
Alternatives
apheli0os/deepseek-harness-orchestrate · shaokeyibb/dsh-plugin-product-subagents · zhangzujian/dsh-adaptive-subagent-report