Publisher
2 个插件。作者可回应评价，不能删差评。
多代理数学问题求解与验证框架：头脑风暴 → 求解迭代 → 多验证器辩论 → 可信知识库沉淀，支持断点续跑与人工/自动干预（同时提供 agent preset 与可安装 bundle）。
Vibe Mathematics —— 多代理数学问题求解与形式化验证框架