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 tests and mechanical upstream sync.
- License
- MIT
- Added
- 2026-08-15
GitHub info
- License
- MIT
- Primary language
- Python
- Last push
- Aug 20, 2026, 3:05 PM
- Maintainer
- xsoc1
- Added
- 2026-08-15
Install
dsh plugin --profile web add github:xsoc1/math-research-dshREADME badge
Add this Markdown to your plugin README to link back to its listing.
[](https://dshget.com/plugins/xsoc1/math-research-dsh)Related plugins
Skillsdsh-web#packages/dsh-skill-explorer
★ 6418Skill center for the dsh web GUI: browse all loaded skills grouped by source, enable or disable model invocation, create new skills, and delete into a recoverable trash.
Aegis
★ 1152Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.
superdesign-skill
★ 485Design skill for UI and marketing graphics on the Superdesign canvas: reads the repo for context, extracts its design system, then generates and iterates branchable design drafts, flow pages, and reusable components through the Superdesign CLI.