math-research-dsh

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.

Star

7-day growth

Contributors

Language

Python

Updated

2026-08-15

Install

We haven't probed this repo's install method yet — see the repo README.

Share card

Drop it into your README — it links back to this page.

Badge (inline)

$Badge (inline)$

[![dshfind](https://dshfind.com/api/badge/xsoc1/math-research-dsh)](https://dshfind.com/en/plugins/xsoc1/math-research-dsh?ref=badge)

Card (440×200)

$Card (440×200)$

[![dshfind](https://dshfind.com/api/card/xsoc1/math-research-dsh)](https://dshfind.com/en/plugins/xsoc1/math-research-dsh?ref=badge)