DSH Plugin Registry
中文EN
Submit plugin
Plugins/math-agent-framework#dsh-plugin

math-agent-framework#dsh-plugin

Source candidate

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.

Author: symmetryseeker · Skills · Catalog snapshot: 2026-09-04

What it may solve

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.

Imported third-party catalog description; not a Registry verification conclusion.

Sources and public signals

symmetryseeker/math-agent-framework

5 stars · — downloads

Signals were provided by the source catalog and do not imply quality or safety. 2026-09-04

What can currently be confirmed

Not tested

DSH compatibility

No exact-version test is available.

Not tested

Security analysis

No Registry security conclusion is available.

Not tested

Functional verification

No functional smoke evidence is available.

Not tested

Permissions

Plugin permissions have not been resolved.

Not tested

Exact artifact

Version and integrity have not been resolved.

Continue checking with the plugin manager

Describe your task in a DSH conversation and mention math-agent-framework#dsh-plugin. The plugin manager can find this candidate through Registry, then inspect its actual source and version locally.

Get the plugin manager command