Thriving Thriving JavaScript JS
↑ 35 ?
Vibe-Mathematics ChongCyrus/Vibe-Mathematics

Vibe Mathematics — Multi-Agent Framework for Mathematical Problem Solving and Formal Verification

HEALTH ? 74 / Stable
// solo builder// hidden gem// release machine agent-presetai-agentsdeepseek-harnessdsh-pluginllmmathmulti-agenttheorem-proving ?

// readme

Vibe Mathematics — Multi-Agent Mathematical Problem Solving and Verification Framework (Four Architectures)

English | Chinese

A set of agent presets (vibe-math-v2 / vibe-math-v3 / vibe-math-v4 / vibe-math-v5) running inside the DeepSeek Harness. They use multi-agent collaboration to automatically solve math problems and cross-verify conclusions across multiple agents. The four presets share foundational capabilities: checkpoint resumption, mid-run human intervention, progress reporting, and natural-language driving. However, they use four generations of different solving architectures: 💡 v4/v5 first: vibe-math-v4 (the “resident self-organizing collaborative research” architecture) and vibe-math-v5 (the latest “institute system”) are the current main maintenance direction. vibe-math-v2 and vibe-math-v3 are classic/early architectures that have matured and been finalized, and going forward will only receive compatibility maintenance (new capabilities go only into v4/v5). All four are bundled in the package and work normally. See…