dsh-rigorquant
esm
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.
Version 0.7.0 License MIT
Keywords
dshdsh-plugindeepseek-harnessquantresearch
INSTALL