ChongCyrus/Vibe-Mathematics

README 摘要

Vibe Mathematics — 多代理数学问题求解与验证框架 一个运行在 DeepSeek Harness 内的 永久 agent preset （ vibe-math ）。 它用「 广度探索 → 深度迭代 → 交叉验证 → 知识沉淀 」的闭环，自动求解数学问题， 并对每个结论做多代理交叉验证；支持 断点续跑 与 中途人工干预 ，全程可由自然语言驱动。 ✨ 功能特色 - 多代理自动求解 ：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider 等子代理协同求解， 你无需逐节点手操 。 - 多代理交叉验证 ：每个结论拆成最小验证单元，≥3 个「严苛审稿人」独立审查 → 辩论 → 裁决（一票否决 / 加权投票）。 - 知识沉淀 ：验证通过的结论晋升进 Verified/ 可信知识库，供后续方向复用。 - 断点续跑 ：调度状态、任务栈、代理注册表、决策队列、依赖图、验证器历史准确率等全部落盘；重启后 resume 即可恢复（含对账，不会卡死）。 - 中途人工干预（并继续） ： auto / manual 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。 - 按项目隔离 ：每个数学问题一个独立项目文件夹，互不干扰，可随时切换。 - 子代理权限可调控 ：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 Verified/ 与进度日志。 - 可配置 ： vibe math setting.json （含注释）自定义默认参数； /vibe setup 交互式问答配置。 - 自然语言控制 ：主代理充当「助手 + 汇报者」，你把需求说成人话，它自己调用工具、汇报进度、配置参数。 🧠 架构与分工 框架 = 一个主代理（助手）+ 一个代码调度器 + 五类子代理 。 角色 类型 职责 主代理 LLM（会话里的那个助手） 自然语言接口 + 汇报者 + 助手 。它 自己不求解、不调度 ，只负责：把你的话翻译成 vibe math 工具调用、汇报进展、问答式配置参数、执行调控命令。 调度器 插件代码（非模型） 唯一主控：读 qs.csv 、派发子代理、写文件、推进状态机。 所有调度靠编程，不靠代理 。 Brainstorm 子代理 子代理 元认知头脑风暴：约束分解、边界测试、相似问题映射，把问题拆成多个「大相径庭」的求解方向。 Solver 子代理 子代理 每个方向一个专属求解器， 同一会话内多轮迭代 ，产出引理（含证明）、子路线、存活概率、完整解法。 Derive 子代理 子代理 当某问题的所有方向都走进死路仍未解决时，基于历史痛点 派生 1 3 个全新方向 。 Verifier 子代理 子代理 每个验证单元 ≥3…

分类