DeepSeek Harness Plugin Hub
← Plugins

math-research-dsh

Math Research Dsh

Rigorous open mathematics research suite for DeepSeek Harness: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) with CI-verified tests, mechanical upstream sync, and a DSH environment doctor.

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

npx -y @deepseek-ai/dsh plugin --profile web add github:xsoc1/math-research-dsh#5f2b9976e42cfff6cc3d19430be79bada646982b

Compatibility and provenance

Math Research Dsh is published as math-research-dsh and currently resolves to version 1.14.1. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.

DSH compatibility
*
Runtime surfaces
any
Release source
github
Registry updated

Versions

1.14.1stable
1.14.0stable
1.13.0stable
Show 10 more versionsCollapse versions
1.11.0stable
1.10.0stable
1.9.0stable
1.7.0stable
1.6.0stable
1.5.0stable
1.4.0stable
1.3.0stable
1.2.0stable
1.1.0stable

Related plugins

More verified plugins in search-research.

Free Searchdsh-free-searchFree web search for DeepSeek Harness: 10 engines (Bing/DuckDuckGo/AnySearch/SearXNG/Exa/Tavily/Keenable keyless) + time filtering + platform search + web_fetch, with web settings UI.Mneme@modusensus/dsh-mnemeStructured memory engine for DeepSeek Harness. Offline semantic search, entity-attribute-timeline, autoDream self-consolidation, and human-editable Markdown storage.Builtin Browserdsh-builtin-browserShared real browser plugin for DeepSeek Harness: install-and-use — a visible native browser the human can take over, driven by the agent over CDP. DOM-level interaction (React/Vue safe), per-task session isolation, cookie persistence (browser_auth), CAPTCBailian Kb Dshbailian-kb-dshBailian knowledge-base tools for DeepSeek Harness: kb_search and kb_chat over the DashScope RAG API, plus the bl CLI management skill.