Open Plugin Market

MathLab

dsh-mathlab

Tools✅ Reviewed

Explore symbolic mathematics, algebra, logic and interactive explanations with local Python and SymPy. Optional Lean checks execute supplied Lean source on the local machine. Requires a Python environment with the engine dependencies; author-tested on Windows DSH 0.2.1-rc.5.

0GitHub

Install in DSH

  1. Add Open Plugin Market as an index source once: Plugins → Experimental → Custom plugin markets, then Discover → Add index source, and paste this URL.

  2. Copy the plugin name, open DSH and paste it into Discover search to install.

    dsh-mathlab

Easier: install the Open Market plugin

dsh plugin --profile desktop add dsh-open-market

It adds this index for you and an Open Market tab to the Plugins page: search for MathLab there to install it, and update it there when a new version comes out.

Plugin details

Name
dsh-mathlab
Version
0.2.1
Requires DSH
>=0.2.1-rc.5
Released
4 Nov 2026
Review
Open Plugin Market · Package checks · v0.2.1 · 2026-11-04 · Review record
Author
FileXego
Category
Tools

Source

Keywords

  • dsh
  • dsh-plugin
  • dsh-bundle
  • deepseek-harness
  • math
  • mathematics
  • sympy
  • lean4
  • latex
  • live-stage
  • abstract-algebra
  • category-theory

README badge

Author of this plugin? Put this badge in your README. It shows likes and links here.

Open Plugin Market

[![Open Plugin Market](https://img.shields.io/endpoint?url=https%3A%2F%2Fdshopen.org%2Fbadge%2Fdsh-mathlab.json%3Flang%3Den)](https://dshopen.org/plugins/dsh-mathlab/)

Browse all plugins