5 #math DeepSeek Harness (DSH) Plugins
Every indexed repository carrying the GitHub topic math, sorted by stars. The tag is the author's own word for it — the install verdict on each card is ours.
Repositories tagged #math, most-starred first
J
Jacobian
morluto
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
InstallableMCP Server45
D
Dsh Tool Calculator
omdsh-dev
DSH 计算器工具插件：安全的数学表达式求值器，零依赖递归下降解析器
Not checked6
D
Dshmath Manim
phelpsyacht
deepseek harness manim数学插件
Not checked2
M
Math Lean
Fisfzy
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
Not checked1
V
Vibe Mathematics
ChongCyrus
Vibe Mathematics —— 多代理数学问题求解与形式化验证框架
Not checked1