deepseekplugins

DeepSeek Harness plugin

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.

Skills
Jump to install

Source facts

Repository
symmetryseeker/math-agent-framework
Latest update
Aug 28, 2026
Category
Skills
GitHub stars
5
Format
skill
Package path
dsh-plugin
Catalog sources
awesome-dsh-plugin
Catalog evidence
Community catalog listing

Catalog inclusion supports discovery only. This site has not installed, run, or security-reviewed the plugin.

Install

Start with a prompt that asks an agent to review the GitHub repository and source. Switch to the command if you want to install it yourself.

Copy this prompt into DSH, Codex, or another agent and ask it to review the GitHub repository and source first.

Do not install or run any commands yet. Read this plugin's GitHub repository, README, and relevant source code. Then answer the questions below clearly and directly so I can decide whether it fits my needs:

1. What is this plugin, and what problem does it solve?
2. Who is it for, and what are its typical use cases?
3. How is it used after installation? Include one minimal example.
4. What known limitations or privacy, security, compatibility, or maintenance risks does it have?
5. Give a clear recommendation: recommend, conditionally recommend, or do not recommend, with reasons.

Distinguish statements documented by the repository, inferences from source code, and unknowns. If evidence is insufficient, say so explicitly. Do not guess or simply repeat the README.

GitHub: https://github.com/symmetryseeker/math-agent-framework/tree/HEAD/dsh-plugin
Plugin: math-agent-framework#dsh-plugin
Author: symmetryseeker

Catalog facts

The notes below are compiled from community catalog records and link out to the GitHub repository.

Catalog observations

  • Catalog identity is symmetryseeker/math-agent-framework#dsh-plugin, sourced from awesome-dsh-plugin.
  • This record is a community catalog listing without a site-checked dsh.bundle path.
  • Registry install command: dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin
  • Registry observation: 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.

This listing is for

  • Find the Skills plugin math-agent-framework#dsh-plugin published by symmetryseeker.
  • This catalog record points to package path dsh-plugin (symmetryseeker/math-agent-framework#dsh-plugin).

Before you install

  • This site has not installed, executed, or security-reviewed math-agent-framework#dsh-plugin.
  • Catalog inclusion is not certification, compatibility, or production readiness.
  • Review symmetryseeker/math-agent-framework#dsh-plugin on GitHub, including license and permissions, before running an install command.
Back to searchOpen GitHub repository

More related plugins

View category