github:xsoc1/math-research-dsh
skillgit
Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified te
下载量 / Downloads
0
Install
dsh plugin --profile web add github:xsoc1/math-research-dsh
Sandbox test
This plugin has not been tested yet. Submit a test →