MathLab 数学研究台
dsh-mathlab
使用本机 Python/SymPy 进行符号计算、代数、逻辑与交互讲解。可选 Lean 检查会在本机执行提交的 Lean 源码，需另装相应工具；作者验证环境为 Windows、DSH 0.2.1-rc.5。
在 DSH 中安装
先把开放插件市场添加为索引源（只需一次）：插件 → 实验性插件 → 自定义插件市场，再到「发现 → 添加索引源」粘贴这个地址。
复制插件名，打开 DSH，在「发现」里粘贴搜索即可安装。
dsh-mathlab
更省事：安装开放市场插件
dsh plugin --profile desktop add dsh-open-market它会自动加入本索引，并在「插件」页多一个「开放市场」标签：在里面搜索「MathLab 数学研究台」即可安装，以后有新版本也能在那里一键更新。
插件信息
- 插件名
- dsh-mathlab
- 版本
- 0.2.1
- 适用 DSH
- >=0.2.1-rc.5
- 发布于
- 2026年11月4日
- 审查
- 开放插件市场 · 包结构核查 · v0.2.1 · 2026-11-04 · 审查记录
- 作者
- FileXego
- 分类
- 工具
关键词
- dsh
- dsh-plugin
- dsh-bundle
- deepseek-harness
- math
- mathematics
- sympy
- lean4
- latex
- live-stage
- abstract-algebra
- category-theory
README 徽章
你是这个插件的作者？把徽章放进 README，显示点赞数，点击直达本页。
[](https://dshopen.org/zh/plugins/dsh-mathlab/)
