
deepseek harness manim数学插件
Install Dshmath Manim
Every command below is generated from this repository’s own package.json.
Not checked — and that is not the same as fine
package.json for this repository, so none of the publish spec rules could be applied. We do not know whether dsh plugin add activates anything here.Best-effort git install — unverified, may activate nothing
# 1. add the bundle to a profile — --profile my-profile points at $DSH_HOME/profiles/my-profile
dsh plugin --profile my-profile add github:phelpsyacht/dshmath-manim
# 2. verify: the bundle should show up as a layer in the resolved config
dsh --profile my-profile --dump-config
# 3. boot the profile
dsh --profile my-profileStep 2 is the one that matters here: if --dump-config shows no new layer after the install, this repository is not a bundle and there is nothing to activate.
Before you run it
- A plugin runs with your permissions once loaded: it can read your files, use your credentials and reach the network. Tool approvals do not sandbox it.
- Installing from git resolves a moving branch. Pin a commit —
github:phelpsyacht/dshmath-manim#<commit-sha>— so the code you reviewed is the code you install.
Prerequisites
- API key
- Not determined from the README.
- Network access
- Not determined from the README.
- Language
- Python
Install check
Every field the verdict was derived from, so you can re-derive it yourself
No check record is stored for this entry yet. That is why its verdict is Not checked — nothing was verified, which is not the same as nothing being wrong.
- Checked at
- Never — this entry has not been checked.
Topics
GitHub topics on this repository
More in Ai Coding Deepseek Harness Plugin
Ranked by similarity inside the cluster, not alphabetically
Math Lean
Fisfzy
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
Dsh Tool Calculator
omdsh-dev
DSH 计算器工具插件:安全的数学表达式求值器,零依赖递归下降解析器
Dsh Report Html
hccccc01333
Generate self-contained interactive HTML reports from Markdown, tables, charts, China province maps, flowcharts, math, and drill-down tables — a DeepSeek Harness (dsh) plugin