Back to plugins
FIXED-SOURCE RECORD
Math Research DSH
A rigorous mathematics research suite with four agent skills, Lean verification, tests, and environment diagnostics.
ReviewedUnknownSkills & Methods
Evidence snapshot
- Source repository
- xsoc1/math-research-dsh
- Full commit
- a5e63739cd446c76258c050d9b053781dae9bae6
- Package manifest
- package.json
- DSH patch
- cordis.patch.yml
- Package identity
Not recorded- Licenses
- repo MIT / package MIT
- Install lifecycle
none- Compatibility evidence
- Unknown