dsh-rigorquant

v0.1.1 · 3 天前发布

RigorQuant for DeepSeek Harness: session-scoped unattended, context-isolated multi-agent research for empirical/computational mathematics with a four-part pre-implementation check battery and a jacobian/Lean escalation lane.

dshdsh-plugindeepseek-harnessquantresearch

README

dsh-rigorquant

English | 简体中文

面向 DeepSeek Harness 的
会话内无人值守、长时运行的实证/计算数学研究框架——覆盖经济学、金融、组合
构建与优化、模拟、计算经济/金融等领域。

RigorQuant 是一个 Agent preset + 内置技能，把一次 DSH 会话变成一个上下文隔离的
多智能体研究实验室：

并行探索者提出候选方法（subagent，空白上下文）。

真值轨道独立重推导简化情形下的解析闭式解、不变量与界——用两种不同手段

各推一遍（两次独立的 subagent_ground_truth 调用）。

对抗者只凭反例淘汰路线。

四重校验电池（闭式解相等、精确不变量、解析界、统计强化）在数值实现

之前运行。

随机工作采用固定种子 + 大数定律约定。

jacobian MCP 升级通道（opt-in；Lean 作为手动外部通道）在实现前解决证明

关键性断言。

**PASS → 自动实现并继续；BLOCKED → 同一缺口连续 3 轮 → 交付最强推导 + 精确

缺口；BUDGET → 5 轮 → 存档 + 报告。**

运行范式改编自金山木医生攻克 Crouzeix 猜想的过程
（提示词、
[Lean 审计](https://github.com/jinshanmu/CrouzeixC

版本兼容矩阵

DSH 版本	状态	说明
`dsh@0.1.0-rc.6`	✅ 兼容	cordis patch ✅
`dsh@0.1.0`	✅ 兼容	标准 patch ✅
`dsh@0.2.0`	⚠️ 待验证	待实测（API 可能在变）
`dsh@0.3.0+`	❓ 未知	尚未发布

💡 兼容矩阵每周末自动跑实测，欢迎 PR 修正

元数据

License: MIT
npm: dsh-rigorquant
Repo: —
Engines: {}
Weekly DL: 0
Monthly DL: 0
dsh.bundle: {"bundle":{"patch":"./cordis.patch.yml"}}