Showing the last saved plugin snapshot.

← Leaderboard / Other / Plugin
Last repository activity November 11, 2026 · Created November 3, 2026

FileXego/dsh-mathlab

“MathLab — a graduate-level mathematics research workbench for DeepSeek Harness.”

Star rank
#10623
declared plugin rank
In Other
#2190
category rank
Stars
0
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
TL;DR

MathLab — a graduate-level mathematics research workbench for DeepSeek Harness: symbolic computation, abstract algebra, category theory, mathematical logic, Lean 4, plotting and a searchable symbol atlas.

30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12
Also in this category
4 items
Other

tt-a1i/archify

Generate validated, self-contained interactive architecture, workflow, sequence, data-flow, and lifecycle diagrams from repositories or system descriptions.

95.4K
Other

zhu1090093659/dsh-web

Git branch selector and Git graph for the dsh web GUI: switch branches and explore branch-lane and commit history from the conversation header.

10.4K
Other

zhu1090093659/dsh-web

Remote control of a dsh web workspace from phone or PC: QR-code pairing through a token-gated channel, SSE real-time sync, and separate mobile and full desktop GUI modes.

10.4K
Other

zhu1090093659/dsh-web

SSH ops panel for DSH: web terminal, SFTP transfer with progress, local port forwarding, and one-command cluster execution across hosts; agents share the same host config.

10.4K