dshmath-manim

DeepSeek Harness（dsh）数学动画插件 —— 基于 Manim CE 将数学概念渲染为动画视频。

「一切皆插件」：本插件以 Cordis 插件形式提供一组 Tool，模型通过自然语言即可生成数学动画。

架构

┌─────────────────────────────────────────────────────────────┐
│  DeepSeek Harness (dsh)                                     │
│  ┌───────────────────────────────────────────────────────┐  │
│  │ dshmath-manim (TS / Cordis 插件)                     │  │
│  │   tools: list_math_templates / render_math_scene      │  │
│  │          render_math_code / validate_math_code        │  │
│  └──────────────────────┬────────────────────────────────┘  │
│                         │ spawn python3 (沙箱子进程)        │
└─────────────────────────┼───────────────────────────────────┘
                          ▼
          py/manim_runner.py（渲染执行器）
            ├── 模板系统（JSON 声明参数模式 + Python 场景代码）
            ├── AST 静态安全校验（拦截 os/import/eval 等）
            └── manim CLI 渲染（low/medium/high/ultra）

目录结构

dshmath-manim/
├── math-manim.cordis.yml     # 插件加载配置
├── package.json / tsconfig   # TS 插件（tools 注册）
├── src/
│   ├── index.ts              # 插件入口，注册 4 个工具
│   └── runner.ts             # TS ⇄ Python 桥接（子进程 + 超时 + 安全环境）
└── py/
    ├── manim_runner.py       # 渲染执行器（模板/校验/渲染，JSON 输出）
    └── templates/            # 数学动画模板
        ├── function_plot     # 函数绘图（一/二元函数）
        ├── derivative_tangent# 导数与切线（数值斜率）
        ├── definite_integral # 定积分（曲线下面积）
        ├── geometry          # 几何图形（三角形/圆/正多边形）
        ├── polar_plot        # 极坐标曲线（心形线等）
        └── surface_3d        # 3D 曲面（ThreeDScene）

数学动画向导（零代码使用）

面向只懂数学、不懂代码的用户。启动后浏览器打开即可使用：

python3 py/wizard_server.py --port 8321
# 打开 http://127.0.0.1:8321

流程：选择场景卡片（函数图像/导数切线/定积分/几何/极坐标/3D 曲面）→ 填写数学参数（全中文表单）→ 点击「生成动画」→ 预览并下载视频。全程无任何代码。

每个模板在 py/templates/*.json 中带有 ui 元数据（中文标签、参数提示、控件类型、下拉选项），向导页面由此自动生成表单。

提供的工具（模型可见）

工具	作用	适用场景
list_math_templates	列出模板与参数模式	开场发现能力
render_math_scene	模板参数化渲染（安全）	推荐路径
render_math_code	渲染模型自写 Manim 场景	模板不匹配时
validate_math_code	AST 静态安全校验	渲染前的自愈检查

零代码技能包（Skill，核心推荐）

插件加载时会自动向 ctx.skills 注册两个技能（skills//SKILL.md，每份都是一份完整提示词）：

技能