math-research-dsh
by xsoc1 · xsoc1/math-research-dsh
★ 3 Stars
⑂ 0 Forks
Updated: Sep 9, 2026
MIT
Python
Original language: English
About
Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.
Similar plugins
by dsh-research
The research plugin market for DeepSeek Harness (dsh): a Research plugins page in Settings that installs a curated, hand-read catalog into the profile you are running. Catalog at dsh-research.com.
★ 4
MIT
TypeScript
Sep 1, 2026
dsh plugin --profile web add dsh-researchby linxichen
Adds capability to Deepseek harness to do rigorous quant finance work
★ 6
↓ 204/wk
MIT
Python
Sep 10, 2026
dsh plugin --profile web add dsh-rigorquantby fashionmascherine-svg
DeepSeek Harness plugin (dsh-plugin): complete Polymarket superpowers — 31 verified tools across Gamma/CLOB/Data-API/Perps/RFQ/Bridge, embedded knowhow skill, live WebSocket stream. Read-only by defau
★ 3
JavaScript
Aug 23, 2026
dsh plugin --profile web add dsh-polymarket-knowhowby jingzhao-l
DeepSeek Harness (dsh) plugin that turns the iterate skill into an autonomous closed-loop code iteration — parallel reviews, deterministic dedup convergence, atomic fix + verify auto-stop, meta-review
★ 3
↓ 933/wk
MIT
TypeScript
Sep 12, 2026
dsh plugin --profile web add iterate-pluginby JasperGuWP
DeepSeek Harness 插件技能库：浏览/预检/一键安装/更新/卸载 dsh 插件与 Skill 技能包，设置页一键重启与 harness 本体自更新。Plugin & skill marketplace for deepseek-harness.
★ 0
JavaScript
Aug 22, 2026
dsh plugin --profile web add dsh-plugin-marketby hollis-openlab
Matt Skills engineering workflow plugin for DeepSeek Harness
★ 0
MIT
JavaScript
Aug 21, 2026
dsh plugin --profile web add @deepseek-ai/dsh-matt-skills-flow