ChongCyrus/Vibe-Mathematics

Name: ChongCyrus/Vibe-Mathematics
Author: ChongCyrus

Plugin插件 Native原生 ⭐ 34 MIT Subagents & Orchestration子代理与编排 Models & Routing模型与路由 Data & Analysis数据与分析

Vibe Mathematics —— 多代理数学问题求解与形式化验证框架

Project Overview项目介绍

Edited by Zhiwei Agent (zhiwei)由知微Agent(zhiwei)编辑

This is a native agent preset plugin built exclusively for DeepSeek Harness (DSH). It ships with three distinct multi-agent architectures for solving mathematical problems automatically via collaborative multi-agent reasoning and cross-validating final conclusions. All three presets share core base features including checkpoint resumption, mid-run manual intervention, progress reporting, and natural language-driven operation. Two of the versions, v2 and v3, are actively maintained and recommended for general use, while v4 is an experimental self-organizing research architecture.

Each math problem gets its own isolated project folder, so work on different problems never interferes with each other. Internally, the plugin isolates all runtime state by root session ID, which allows multiple sessions to run different projects in parallel at the same time. All state is persisted to disk, so users can resume solving progress after a restart by running the dedicated vibe_math_resume command. Users can toggle between automatic and manual mode at any time, and manual mode pauses at key nodes to wait for user approval. This tool is ideal for researchers looking to get deep solutions to complex mathematical problems.

The plugin is released under the open-source MIT license, so it is free to use, modify, and redistribute. It includes an automatic versioned update feature that checks for new releases on each DSH startup, and only overwrites preset files that have not been modified by the user. A wide range of runtime parameters can be adjusted via a configuration file, including concurrency limits, timeout thresholds, and sub-agent tool permissions. The v4 experimental architecture is still under active iteration, so users should expect potential stability issues when testing it.

这是一个专门为 DeepSeek Harness（DSH）开发的原生多代理数学问题求解插件，提供了三个不同架构的代理预设，支持多代理协作自动求解数学问题，并对求解结论进行多代理交叉验证。三个预设都共享断点续跑、中途人工干预、进度汇报、自然语言驱动的基础能力，v2和v3是稳定维护的主推架构，v4是实验性的常驻自组织合作研究架构，安装后会出现在DSH的预设选择器中。

每个数学问题会单独生成隔离的项目文件夹，内容互不干扰，插件内部也会按根会话ID隔离全部运行状态，支持多会话并行处理不同项目。所有运行状态都会落盘存储，支持断点续跑，重启后调用对应命令即可恢复之前的求解进度。用户可随时切换自动/手动模式，手动模式会在关键节点挂起等待用户审批，也可随时向子代理发消息或中断任务，适合需要深度求解复杂数学问题的研究者使用。

该插件采用MIT许可证开源，可免费使用、修改和分发，插件自带版本化自动更新功能，每次DSH启动时会自动对比当前版本与已安装版本，升级替换未被用户手动修改的预设文件。用户可通过配置文件调整多个运行参数，包括并发上限、超时阈值、工具权限等，满足不同场景的定制需求。v4作为实验性架构仍在迭代，使用时需要注意功能稳定性可能存在波动。

View on GitHub在 GitHub 查看

Send to your DSH发给你的 DSH 安装

请帮我安装这个 DSH 插件。安装前先完成【兼容性检查 + 安全性检查】，检查通过再动手。

插件：Vibe-Mathematics（ChongCyrus/Vibe-Mathematics）
仓库：https://github.com/ChongCyrus/Vibe-Mathematics
本站详情页：https://www.yhbd.top/plugins/chongcyrus-vibe-mathematics/
本站登记：类型 plugin · 归类 原生 DSH 插件 · 许可证 MIT · ⭐ 34 · 最近提交 2026-10-03 · 主语言 JavaScript

按下面顺序执行，每步先把结论告诉我，再进入下一步：

【1 兼容性检查】
① 我这边：DSH 版本、Node 版本、操作系统、当前 profile（web / desktop）。
② 读它的 README、package.json、插件 manifest，列出它要求的 DSH 版本 / Node 版本 / 操作系统 / 外部依赖 / 需要另外先装的运行时。
③ 逐条比对，结论只写「满足 / 不满足 / 未知」三种；不满足的给出可行替代方案。
④ 检查是否和我已装的插件冲突：命令名重复、skill / tool 重名、端口占用、重复注册的 MCP server。

【2 安全性检查】
① 仓库可信度：和上面「本站登记」是否一致；star / fork 数、创建时间、最近提交，是否归档或长期停更。
② 安装脚本：逐行看 package.json 的 preinstall / install / postinstall，以及 install.sh、setup.ps1 之类脚本。出现 curl|bash、下载后直接执行、混淆代码、访问与插件功能无关的域名，立刻停下来告诉我，不要继续装。
③ 依赖：列出新增依赖，标出无人维护、或与知名包拼写近似的可疑包（typosquatting）。
④ 权限与副作用：它会读写哪些目录、访问哪些域名、需要哪些 DSH 权限（filesystem / network / shell / clipboard 等），以及怎么卸载和回滚。
⑤ 如果它要求 sudo / 管理员权限，或权限明显超出功能所需，先停下来问我。

【3 安装】
上面两步没有「不满足」和「高危项」时才执行；用官方推荐方式安装，不要自行提权。

【4 汇报】
用表格输出：检查项 / 结论 / 依据 / 是否需要我决策。拿不准的一律写「未知」并说明要我怎么确认——不要猜，也不要替我决定。

Send this message to DSH in your current session: it verifies compatibility and security first (answering met / not met / unknown item by item) and only installs once everything checks out — it will stop and ask you if it finds a high-risk item. The box scrolls; the copy is the full prompt. CLI install commands may not be accurate across systems, so DSH is the safer route.把上面这条消息直接发给当前会话里的 DSH：它会先核对兼容性与安全性（逐条给「满足 / 不满足 / 未知」），确认没问题再安装，有高危项会停下来问你。框内可滚动，复制到的是完整提示词；安装命令不一定准确，发给 DSH 更稳。

Pre-install check安装前体检Compatibility · Security兼容性 · 安全性 1 note1 项提示

34 stars - an early-stage project星标 34，属于早期项目

DSH walks through these 9 checksDSH 会逐条核对这 9 项

Compatibility兼容性

DSH, Node, OS and profile requirementsDSH 版本 / Node 版本 / 操作系统 / profile 是否满足要求
External dependencies and runtimes (Electron / Python / Docker, ...)外部依赖与运行时（Electron / Python / Docker 等）是否齐备
Conflicts with installed plugins: command names, skill / tool names, ports, duplicate MCP registration与已装插件是否冲突：命令名、skill / tool 重名、端口占用、重复 MCP 注册

Security安全性

Repo matches the facts registered here; archived or abandoned?仓库是否与页面登记一致，是否归档或长期停更
Safety of preinstall / install / postinstall and install.sh / setup.ps1preinstall / install / postinstall 与 install.sh、setup.ps1 是否安全
curl|bash, download-then-execute, obfuscation, unrelated domains → stop immediatelycurl|bash、下载即执行、混淆代码、无关域名 → 立刻停止
Typosquatting or unmaintained packages among the new dependencies新增依赖里有没有 typosquatting 或无人维护的包
Requested permissions vs. what the feature actually needs申请了哪些权限、是否超出功能所需（filesystem / network / shell / clipboard）
Any sudo / admin requirement, plus uninstall and rollback是否要求 sudo / 管理员权限，以及卸载与回滚方式

Anything uncertain must be marked unknown with a note on how to confirm it. This site's signal screen is a static snapshot, not a security audit.拿不准的必须标「未知」并说明要我怎么确认。本站的信号筛查是静态快照，不能替代安全审计。

Or use CLI install (for developers)或使用命令行安装（适合开发者）

CLI Install命令行安装

dsh plugin --profile web add dsh-vibe-math

把 ChongCyrus/Vibe-Mathematics 加入你的 DSH 配置（web profile）即可启用。

READMEREADME

81.1 KB · 缓存于 2026-10-03 22:09:22 · 81.1 KB

Vibe Mathematics — 多代理数学问题求解与验证框架（四架构）

English | 中文

$npm$

运行在 DeepSeek Harness 内的一组 agent preset（vibe-math-v2 / vibe-math-v3 / vibe-math-v4 / vibe-math-v5），用多代理协作自动求解数学问题并对结论做多代理交叉验证。四个预设共享「断点续跑、 中途人工干预、进度汇报、自然语言驱动」底座能力，但采用四代不同的求解架构： 💡 四个架构同级——vibe-math-v2 与 vibe-math-v3 是经典架构（成熟可用、持续维护），vibe-math-v4 是「常驻自组织合作研究」架构、vibe-math-v5 是最新的「研究所体系」（两者均标注为实验性）；根据你的实际需求自行选择（详见下方「怎么选」）。

vibe-math-v2（概率驱动 · JSON 数据层）· 经典：qs.json 问题清单 + Propos/ 命题库 + 概率驱动调度 + 代码启发式调度；

vibe-math-v3（第三代 · 论文式 md + 规划代理 + 方法库）· 经典：全部知识以 Markdown 论文/研究报告式 存储与续写（Problems/ 问题清单+依赖+来源动机、Progress/ 研究日志、Propos/ 命题库、Methods/ 通用理论发明库、Verified/ 绝对可信）；调度前由规划代理自主制定接下来 N 步计划；解决过程中发明的理论/框架/工具/方法/思想由 Method Keeper 沉淀为可复用方法体系（如发明群论、泛函分析那样）。

vibe-math-v4（第四代 · 常驻自组织合作研究）🧪 实验性：一组持久化常驻子代理互相留言 + 开会，自主决定一切任务安排（无中央调度）；各自沉淀进度/命题/方法/子问题库并互相查阅；验证**仅当全体常驻一致（真或假）**才写入 Verified/，否则留库附概率；上下文达阈值自动 /compact；仅当全体一致认为原问题已解决才停止。

vibe-math-v5（第五代 · 研究所体系）🧪 实验性 · 最新：把常驻升级为一座研究所——院士（领头人 / 组织与协调中心，负责拆解与分派、定优先级、主持会议、督导进度）+ 常驻研究员（有表决权，可自主雇佣/解雇自己的临时工）+ 临时工（无表决权）；有公共规章、群聊与会议、compare-and-set 任务板、真实解雇；≥ m 票布尔一致才写入 Verified/（反向票阻塞、弃权不计票、未达门槛留库附平均概率）；状态存于研究所目录下的加固 JSON State/<研究所>.v5state.json（串行写、读前必 load），不写入宿主会话日志，零 token 成本。

安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现四个 agent preset。

🧭 导航：我想要……→ 从这里开始

马上开始用（第一次跑） → 5 分钟上手
四个预设选哪个 → 四个预设怎么选
四套架构的定位、流程与分工 → 架构图 · 架构与分工（四套并列）
新功能：最终论文（收口时自动产出） → 功能特色 · 完整契约
Lean 形式化验证 → Lean 形式化验证 · 完整契约
可观测面（status() / report() 字段与作用域） → 完整字段表
目录里都有什么 → 目录结构
调参数 → 参数速查表
断点续跑 / 中途干预 → 断点续跑 & 人工干预
已知边界（有意简化） → 已知边界

Showing the opening section of the README — the full document lives in the repository以上为 README 开头摘要，完整文档在仓库内 · View the full README on GitHub →在 GitHub 查看完整 README →

渲染基于仓库 ChongCyrus/Vibe-Mathematics 的 README.md。在 GitHub 查看原文 →