Math Agent Framework for DeepSeek Harness: symbolic derivation engine (CES / quadratic forms / ODE / PDE), SymPy verification, Lean 4 compiler-verified formal proofs, and QED-style multi-agent adversarial verification, exposed as native DSH tools through a TS shell bridging a Python engine. Requires cloning the math-agent-framework repo and `pip install -r requirements.txt`, with MATH_AGENT_HOME pointing at the repo root. Every result carries provenance (engine versions, seed, tolerances) and is marked untrusted data.
- GitHub stars
- 5
- Added
- 2026-08-28
GitHub info
- GitHub stars
- 5
- Primary language
- Python
- Last push
- Aug 23, 2026, 5:28 PM
- Maintainer
- symmetryseeker
- Added
- 2026-08-28
Install
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-pluginREADME badge
Add this Markdown to your plugin README to link back to its listing.
[](https://dshget.com/plugins/symmetryseeker/math-agent-framework%23dsh-plugin)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.