dsh-rigorquant

Has faultsUndeclaredv0.1.1Search

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.

Install

dsh plugin --profile web add dsh-rigorquant

Swap web for your own profile name. First use initializes the profile for you.

Checks

declares-bundle
Declares dsh.bundle.patch → cordis.patch.yml
patch-shipped
The patch file ships in the tarball
patch-parses
Patch parses and mounts 1 plugin row(s)
rows-resolvable
Every plugin row resolves to a published package
prebuilt
Ships source only; installing runs its build script on your machine

What it mounts

insertskill-filesystem-rigorquant@deepseek-ai/dsh-skill-filesystem

providerNameincludeDefaultRootscustomSkillDirs

These are the rows the plugin's cordis.patch.yml inserts into your config tree. After installing, dsh --profile <name> --dump-config prints them back.