DSH adaptation of the math-research Codex plugin marketplace: rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify as DeepSeek Harness skills.
This plugin has not published an npm package, so the store does not offer an install command yet. Use the repository link below to view the source.