DeepSeek Harness Plugin Hub
← Plugins

dsh-rigorquant

Rigorquant

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.

The plugin will be installed here. Keep web if you are unsure.

npx -y @deepseek-ai/dsh plugin --profile web add github:linxichen/dsh-rigorquant#9c5a4b901a0b43af5d4f900a0f788135d21444d2

Compatibility and provenance

Rigorquant is published as dsh-rigorquant and currently resolves to version 0.4.1. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.

DSH compatibility
*
Runtime surfaces
web
Release source
github
Registry updated

Versions

0.4.1stable
0.4.0stable
0.3.2stable
Show 1 more versionCollapse versions
0.3.1stable

Related plugins

More verified plugins in agents-orchestration.

Hindsight Coding Agents@vectorize-io/hindsight-coding-agentsReflect-only Hindsight long-term memory for coding agents (harness-pluggable: opencode, …), with automatic background ingestion (no setup CLI).Agent Teams@nanmicoder/dsh-agent-teamsAgentTeams for DeepSeek Harness: multi-agent team collaboration (captain, members, tasks with dependencies, messaging) driven by natural language, with a tree monitor in the web GUIHeadless@deepseek-ai/dsh-headlessThe dsh one-shot bundle: a direct core Agent/Session runner over dsh-base with no Host, HTTP, or browser layerSkills Manager@michengai/dsh-skills-managerNPM-installable DSH Web plugin for safely loading and managing skills across DSH and common local Agents.