math-agent-framework-dsh-plugin
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.
Install
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin
For reproducible installs, append #commit to pin a specific revision.
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.
No highlight list provided; see the repository README.
- Install and start DeepSeek Harness:
npx @deepseek-ai/dsh web - Run the install command above (the CLI resolves the plugin and verifies its source)
- Confirm with dsh plugins list; restart Harness if required
Plugins run with your dsh process permissions and may execute code during installation. Read the repository source and license first, and check for destructive commands or excessive access. This site only indexes; it does not vouch for third-party plugins.
| Repository | github.com/symmetryseeker/math-agent-framework#dsh-plugin |
| License | Not declared (see repo) |
| Primary language | — |
| Downloads | 0 |
| GitHub stars | 5 |
| Last push | — |
| Cataloged | 2026-08-28 |
| Category | Skills |
Facts come from a public catalog snapshot (2026-09-16); descriptions are rewritten by us.
Sources: the public DeepSeek Harness plugin catalog and each plugin's GitHub repository. This is an independent third-party directory with no affiliation to or endorsement from DeepSeek, High-Flyer, or the plugin authors.
