xsoc1/math-research-dsh
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.
math-research-dsh is a DSH skill bundle for long-term mathematics research, adapting four math-research parent plugins (xsoc1/rigorous-open-math-research) in one direction: source reading, annotatable tools, session continuity, and Lean verification when useful. Four skills: math-research-workflow (choose research tools, maintain current progress, resume sessions and actual jobs), manage-math-research-program (literature, tool cards and annotations, experience comparisons, human-editable understanding, accepted Blueprint knowledge), rigorous-open-math-research (develop proofs or counterexamples, understand successful and failed routes, review arguments as useful), lean-verify (compiler feedback, exact targets and transitive axioms, semantic review and reproducible evidence). 2.0 supplies methods and executable tools; researchers and agents choose the methods, collaboration and verification scope for each problem. Compatibility helpers retain old sealed checkpoints and pipelines; the old full validator requires --legacy-v1.
Install
dsh plugin --profile web add github:xsoc1/math-research-dshThe README's primary install is 'dsh plugin --profile web add github:xsoc1/math-research-dsh' (follows the default branch). For reproducible manual install, the README says to replace it with 'github:xsoc1/math-research-dsh#<full-40-character-commit>' after reviewing that commit; DSH STORE checks a fixed commit. No npm package named math-research-dsh exists on the public registry as of 2026-10-01. Current version is 2.0.1, synchronized from parent main commit 72a1cc17; upstream.lock.json records the complete parent commit and bundled file hashes.
Compatibility
DeepSeek Harness. Registers four packaged skills via ctx.skills.register. Python helpers are bundled; the DSH skill tool loads a skill by exact name and returns its text and resourceBase. Activate through the profile reload procedure for your DSH deployment.
Details
- Repo: xsoc1/math-research-dsh
- Category: Skills
- Stars: 0
- Version: GitHub repo xsoc1/math-research-dsh v2.0.1, synced from parent commit 72a1cc17 (no public npm registry entry as of 2026-10-01)
- Last push: 2026-09-09
- First seen: 2026-08-14
Recent updates
The README documents the four skills table, the 2.0 methods/tools philosophy, the compatibility helpers for old pipelines, the upstream.lock.json freshness guarantee, and the install (default branch vs pinned commit vs DSH STORE).
FAQ
- How do I install math-research-dsh?
- dsh plugin --profile web add github:xsoc1/math-research-dsh; for reproducibility pin a specific commit; no npm entry exists as of 2026-10-01.
- What are the four skills?
- math-research-workflow, manage-math-research-program, rigorous-open-math-research, and lean-verify — covering workflow management, literature/annotations, proof development, and Lean compiler verification.
- Does it support old v1 pipelines?
- Yes — the README says compatibility helpers retain old sealed checkpoints; the old full validator requires --legacy-v1.
Alternatives
sandbaseai/sandbase-skills · JazzuLu/find-dsh-plugins · gongyijie85/dsh-ecc