Plugins

Undersea learning platform for primary-school kids (grades 1-6): grade-based math/Chinese/English quizzes, a textbook shelf with PDF table-of-contents import, photo mistake collection, variant-question mastery tracking, a feedable fish pet with hunger, coins, outfits and achievements, multi-child profiles and progress reports.

Image-to-LaTeX formula editor: point it at any OpenAI-compatible vision model and a dropped or pasted screenshot is read into LaTeX, a MathLive field edits the formula in place with a 272-symbol palette, and the result copies into Word as a native equation or exports to .docx. Needs baseURL, model and an API key set in its settings before it works: there is no default endpoint, so the screenshot and the key only go where you point them.

Onmyoji game helper with five tools: shikigami and soul lookup, skill text, crit and panel math, NetEase Dashen guide search, and intro card paths.

Immersive reading desk: md / docx / pdf render in the centre pane, and the right column is one ordinary Harness session per document that has already been fed the whole text, the research memory and the existing highlights. Select a sentence to ask about it; scanned PDFs and images have no text layer, so a marquee drag captures that region and sends it to a vision model under a turn-scoped runtime brake (max 2 steps, per-step output cap, every tool call denied before dispatch, 45 s cancel). Highlights are anchored as character offsets and painted with the CSS Custom Highlight API, so they survive reloads. Also KaTeX math, outline, in-document search and a draggable three-column layout. Zero runtime dependencies: pdf.js and KaTeX are vendored.

Adds the MathWorks MATLAB Agentic Toolkit skills and the MATLAB MCP Server tools to DeepSeek Harness. Needs a local MATLAB R2021a or later. Installs from the plugin's own prebuilt release archive. A DSH restart is usually unnecessary: the market mounts the plugin live, and a page refresh shows the MATLAB settings page; restart only when the market reports that the live mount failed. By default (autoProvision) it downloads the MathWorks MCP Server binary and installs the newest Agentic Toolkit release on first use. With the China download region or a configured GitHub prefix, both are fetched through the fastest measured acceleration prefix first (the plugin's own, DSH's market setting, or the built-in gh-proxy.com and ghfast.top routes) and then directly. The downloaded server binary is verified against the SHA-256 digest GitHub publishes for its release asset when the release metadata can be read, and a mismatch refuses the install; if api.github.com cannot be reached the digest is read through the same mirror, so the check then only catches a corrupted or truncated download. MathWorks telemetry is disabled by default; set disableTelemetry to false to re-enable it.

DSH 原生的高精度数学计算器插件：BigNumber 64 位求值、符号微积分、线性代数（秩/零空间/奇异值/特征值）、统计概率与回归、微分方程、单位换算、395 条公式库（三轴标签）、物理常数推演。全部本地执行，不联网。附带一组可选的世界观推演工具。

Math-modeling contest workbench for DeepSeek Harness: a sidebar P0–P7 progress board and traceable facts ledger, one-click render/check/layout/compile, PDF preview, and human sign-off; paired with the math-modeling-cumcm skill. Requires the math-modeling-cumcm skill's scripts (set skillDir), Python 3.10+ and XeLaTeX with ctex/xeCJK; fully verified only on Windows 11 + MiKTeX.

Free LaTeX formula editor in the DSH sidebar with offline MathJax/PDF.js rendering: ten symbol tiles with hover palettes, ten template groups, live preview, colour/font/size/environment controls, favourites with titles and search, and nine export formats (SVG/PNG/JPG, LaTeX/AsciiMath/Typst/HTML/MathML/OMML) with escaping and share links. Image and PDF OCR need a vision-capable model in DSH or your own OpenAI-compatible vision endpoint; everything else runs offline.

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server with 23 machine-checking tools, a bundled workflow skill, and the /prove and /audit-proof commands. proven, refuted and inconclusive are never conflated, and unproven steps are reported instead of hidden. Needs Python 3.10+ with pip install -r requirements.txt on first run; the 23 tools are unavailable until then.

DeepSeek Harness (DSH) plugin — connects DSH to MATLAB and Simulink through the official MathWorks MATLAB MCP Server, injects MATLAB/Simulink Agentic Toolkit skills, and provisions everything with one click.

Code-generated math and science animation for DSH: six tools cover environment checks and dependency self-repair, Manim/manimgx scene rendering to storyboard frames or MP4, contact-sheet probing of finished clips for black or overexposed frames, and formula identity checks with SymPy, together with three skills (topic routing, design spec, QA rubric), a project scaffold with timeline and narration, requirement approvals before rendering, and five animation styles.

Windows only (desktop Word + full MathType 7 + Python 3.10+). Convert LaTeX placeholders in a Word .docx into real MathType OLE equations (Equation.DSMT4), preserving equation numbers, SEQ fields and cross-references.

SymPy-backed exact computation and independent verification for China's postgraduate entrance exam Mathematics I: 14 tools over 214 operators, exact symbolic results by default, and every result re-checked by a separate mechanism (requires Python 3.10+ with sympy and mpmath).

Copying rendered math from the chat puts the formula's LaTeX source on the clipboard instead of KaTeX's visual glyph text.

Renders LaTeX in the chat — formulas inside your own message bubble, plus a live preview of the composer draft while you type.

LaTeX snippet expansion in the composer, built from Obsidian LaTeX Suite's own defaults — 138 triggers expand as they are typed, Tab walks the tabstops, and the table of 142 is editable in one JSON file.

Renders Jupyter notebooks in the document preview, with syntax-highlighted code, offline KaTeX for inline and display math, and a zoomable figure viewer.

deepseek harness manim数学插件

Converts Markdown into .docx with native Word equations (OMML), then exports a PDF to verify every formula renders. Needs Python 3.9+ with lxml, latex2mathml and python-docx; the PDF check also needs pymupdf and Word or LibreOffice.

Makes copying math from DSH chat put LaTeX source ($...$ or $$...$$) on the clipboard instead of rendered KaTeX markup; code blocks and the prompt box keep native copy behavior.

Bilingual PDF reader for DeepSeek Harness that translates paragraph by paragraph: single-page, selected-text and full-document translation with a prompt that asks the model to keep formulas, citations and DOIs, a glossary that forces chosen terms, bilingual / translation-only / source-only views, per-paragraph notes with page highlights, document Q&A, and Markdown / printable HTML export.

Copies a text selection anywhere in the DSH conversation as Markdown source on Ctrl+C, restoring headings, lists, GFM tables, fenced code blocks and TeX math.

Skill bundle for tiered multi-agent science campaigns in math, physics, astronomy, engineering, and biomedical evidence: a shared blackboard, independent verifier and red team, wolf-pack and flanking tactics, token and time budgets, known-answer evals, a four-agent pendulum pilot, and a six-agent fourth-order pilot that caught and corrected a benchmark answer-key error. Does not claim open-problem solutions.

Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.