Vibe Mathematics

dsh-vibe-math

工作流與協作⚡ 更新勤

通過多 Agent 預設進行數學探索、問題求解和形式化驗證。

42GitHub 9,855

在 DSH 中安裝

  1. 先把開放外掛市場新增為索引源(只需一次):插件 → 实验性插件 → 自定义插件市场,再到「发现 → 添加索引源」貼上這個地址。

  2. 複製外掛名,開啟 DSH,在「发现」裡貼上搜尋即可安裝。

    dsh-vibe-math

外掛資訊

外掛名
dsh-vibe-math
版本
2.8.5
適用 DSH
>=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0
釋出於
2026年10月5日
分類
工作流與協作
近 30 天 npm 下載量
9,855

關鍵詞

  • deepseek-harness
  • dsh
  • dsh-plugin
  • agent-preset
  • multi-agent
  • mathematics
  • math
  • theorem-proving
  • verification
  • solver
  • llm-agents