math-research-dsh — release evidence https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.atom.xml 2026-08-16T08:41:44Z Updated: math-research-dsh tag:deeplugin.store,2026-08-16:deeplugin-fc14c46fc7e1842a3aa0/e1ab6d4a0ce81c55 2026-08-16T08:41:44Z xsoc1 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. Exact install spec: github:xsoc1/math-research-dsh. Source event: dsh-market/dsh-market; changed: sources. Updated: math-research-dsh tag:deeplugin.store,2026-08-15:deeplugin-fc14c46fc7e1842a3aa0/39c4cd8ba93a4acf 2026-08-15T22:14:49Z xsoc1 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. Exact install spec: github:xsoc1/math-research-dsh. Source event: zoahdev/dsh-subscribe; changed: sources. New: math-research-dsh tag:deeplugin.store,2026-08-15:deeplugin-fc14c46fc7e1842a3aa0/0aa1d725c44f3843 2026-08-15T22:14:49Z xsoc1 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. Exact install spec: github:xsoc1/math-research-dsh. Source event: awesome-dsh-plugin/awesome-dsh-plugin; changed: listed.