math research · DSH plug-in market
xsoc1/math-research-dsh · skills
Adaptation of the DSH Mathematics Research Codex Plugin Market: Rigorous Open Mathematics Research, Managing Mathematics Research Programs, Mathematics Research Workflows, Lean Verification as a DeepSeek Harness Skill.
★ 3GitHub stars
0Forks
2026-08-17Last updated
PythonLanguage
MITLicense
Key features
- The upstream is the Codex marketplace warehouse, which can only be installed in the Codex packaging format (plugin.json / openai.yaml / marketplace.json / cachebuster), and DSH cannot be consumed directly.
- This warehouse only reads and consumes the parent warehouse, and never modifies it
- This repository converts each plug-in into a DSH skill bundle (directory + SKILL.md frontmatter), and the content is synchronized with the upstream.
- Current status (2026-08-16)All 4 skills have been adapted
- This machine has been installed with junction via install.ps1 to $DSH_HOME/skills
Install command
dsh plugin --profile web add github:xsoc1/math-research-dsh