# math-agent-framework-dsh-plugin — DeepSeek Harness plugin install manifest

> Generated: 2026-09-17 12:52 · Source: https://deepseekmodel.com/plugins

## Overview

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.

## Plugin info

| Category | Maintainer | GitHub stars | License | Primary language | Last push |
| --- | --- | --- | --- | --- | --- |
| Skills | symmetryseeker | 5 | — | — | — |

## Install

```bash
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin
```

## Steps

1. Install and start DeepSeek Harness (DSH, MIT-licensed open-source agent runtime) — `npx @deepseek-ai/dsh web`
2. Run the command above; the CLI resolves the plugin and verifies its source
3. Confirm with dsh plugins list; restart Harness if needed

> To pin a revision, append #commit to the repository spec.

## Audit before installing

Plugins run with your dsh process permissions and may execute code during installation. Read the repository source and license first, check for destructive commands or excessive access, and pin a commit hash for reproducible installs. This manifest is compiled by DeepseekModel from a public plugin catalog for reference only and does not vouch for third-party plugins.

---

- Repository: https://github.com/symmetryseeker/math-agent-framework#dsh-plugin
- Plugin page: https://deepseekmodel.com/plugin-detail?id=symmetryseeker%2Fmath-agent-framework-dsh-plugin
- Source: https://deepseek-harness-plugin.com/zh-CN/plugins/ · Generated 2026-09-16