math

deepseek harness manim数学插件

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

Scientific computing plugin for DeepSeek Harness: numeric + symbolic math (mathjs + Algebrite)

DSH skill bundle: competition math (IMO/Putnam/USAMO/AIME) solved with pure reasoning, adversarial verification in a fresh subagent, and calibrated confidence