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.
Author: xsoc1 · Skills · Catalog snapshot: 2026-09-04Rigorous 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.
Imported third-party catalog description; not a Registry verification conclusion.2 stars · — downloads
Signals were provided by the source catalog and do not imply quality or safety. 2026-09-04No exact-version test is available.
No Registry security conclusion is available.
No functional smoke evidence is available.
Plugin permissions have not been resolved.
Version and integrity have not been resolved.
Describe your task in a DSH conversation and mention math-research-dsh. The plugin manager can find this candidate through Registry, then inspect its actual source and version locally.
github:xsoc1/math-research-dshExact version not resolved