Plugins

Session-scoped GeoGebra canvas with 20 native tools for drawing, scene readback, text layout checks and animation capture, plus 55 mathematical skills and bundled offline applet assets.

Renders agent HTML output as real UI in the DeepSeek Harness web GUI, with visual cards, KaTeX math, Mermaid diagrams, built-in open-source fonts, and design-spec injection.

A workbench for engineering and math problems, with nine tools for reading images, solving, plotting and verifying answers, plus four bundled skills. Needs Python with numpy and Pillow. Image reading, figure checking and formula typesetting rely on a vision provider you have configured a key for, so those images are sent to it, and without a key they fail while the other tools still work.

Installs four multi-agent math-research presets for DSH: v2 (probability-driven pipeline with multi-verifier debate), v3 (paper-style Markdown knowledge base with a planner agent and a reusable method library), v4 (persistent self-organizing residents that message and meet), and v5 (a research institute with an academician who decomposes and assigns work, voting researchers, temp workers, group chat and a compare-and-set task board); all four support checkpoint resume, human intervention, and an optional Lean formal-verification switch (off/encourage/require) whose passing proof turns the vote into a fidelity check of the Lean statements.

Multi-agent workflow for math-modeling contests: the "UltraMath" preset runs a problem from reading through framework, derivation, coding, verification, paper and review, plus 4 single-stage role presets (mathematician, engineer, writer, reviewer) and 33 model-library skill docs.

MarkPilot — an IDE-style Markdown × AI workspace inside DSH. Files, editor and chat sit side by side with draggable panes; send a selection's Markdown source and its file path into the chat with one click or Ctrl/Cmd+Shift+Enter, or reference the open note with @mp. Resume the last note per project, start a blank draft that saves into its own folder, and keep your place as conversations change. Typora-style live rendering with click-to-source formulas, cell-level tables, offline Mermaid and KaTeX, ten themes and transparency; a 150k-character document is parsed in a worker so typing stays smooth. Saves are version-guarded and atomic — conflicts raise a banner instead of overwriting; external disk edits are adopted within 1–2 s, drafts are recoverable, and file:// links or absolute .md path chips open in the workspace. 2.0 adds durable document state, missing/renamed/read-only lifecycle banners, a recovery center and Save As. Fully offline assets, MIT, 544 automated tests.

Typora-style Markdown editor for the DSH right sidebar: live math and Mermaid rendering, click right of an image to keep writing on the next line, Ctrl/Cmd+S with version-guarded saves that also work outside the session workspace, and selections inserted into chat with their absolute file path.

RigorQuant preset + skill pack: unattended walled multi-agent research for empirical and computational mathematics (economics, finance, portfolio), with a four-part pre-implementation check battery and a jacobian/Lean escalation lane.

Safe math expression evaluator, zero-dependency recursive-descent parser.

A gated math-modeling skill suite for DeepSeek Harness: a five-stage pipeline with stage gates, award-paper writing patterns, sensitivity analysis, statistical diagnosis, and a contest preset.

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

Registers the MathWorks MATLAB/Simulink MCP server into a dsh profile, so agent sessions get mcp__matlab__* tools for running MATLAB code and reading, editing and testing Simulink models.

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.

Native right-sidebar Markdown preview with Mermaid diagrams, KaTeX math, GFM tables and syntax highlighting — rendering engine bundled, fully offline.

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

Generate self-contained interactive HTML reports from Markdown, tables, charts, China province maps, flowcharts, math, and drill-down tables — a DeepSeek Harness (dsh) plugin

Query 64 Chinese exams (高考/考研/四六级/CPA/法考…) with rule-aware date math (2nd-Saturday, 1st-Sunday) and countdowns.

GeoGebra construction Skill and verified delivery CLI for DeepSeek Harness

Structured math problem bank with multi-solution support, layered knowledge graph and six-dimensional difficulty for DeepSeek Harness.

Adds a calculate tool backed by a hand-written parser with no eval, batch evaluation and an exact-decimal mode for money math.

AI companion with a learned body clock, real offline sleep, its own memory, and self-reported affect delivered through the same judge math as the pi version.

Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables.