Back to catalog

GITHUB TOPIC

math

9projects include this topic

The "math" topic on GitHub groups 9 open-source projects in the DeepSeek Harness (DSH) ecosystem, led by universal-diagnostic-tutor-skill with 205 GitHub stars. universal-diagnostic-tutor-skill — Diagnosis-first AI tutor skill for STEM, AI/CS learning: teaches concepts, checks understanding, and builds mastery. Every project here is indexed by DSH Universe with live GitHub data — stars, activity and install status — so you can compare and install directly.

{count} projects

Exact GitHub Topic match

DSH PluginsSkill

Diagnosis-first AI tutor skill for STEM, AI/CS learning: teaches concepts, checks understanding, and builds mastery.

Structure check pending
ai-educationai-tutorcodexcodex-skill
Agents & sessionsPlugin

Vibe Mathematics —— multi-agent mathematical problem solving and formal verification framework

Structure check pending
agent-presetai-agentsdeepseek-harnessdsh-plugin
DSH PluginsSkill

math-skill

the-thinker0

math-skill:面向 AI 与密码学创新的数学研究操作系统

Structure check pending
aiclaude-skillscodex-skillcursor-skills
Learning & researchPlugin

dshmath-manim

phelpsyacht

deepseek harness manim math plugin

Structure check pending
aiai-agentai-codingai-model
Learning & researchPlugin

dsh-math

hatter123

Scientific computing plugin for DeepSeek Harness: numeric + symbolic math (mathjs + Algebrite)

Structure check pending
casdeepseek-harnessdshdsh-plugin
Learning & researchSkill

dsh-math-olympiad

988hj7tczd-oss

DSH skill bundle: competition math (IMO/Putnam/USAMO/AIME) solved with pure reasoning, adversarial verification in a fresh subagent, and calibrated confidence

Structure check pending
deepseek-harnessdsh-pluginimomath
InterfacePlugin

dsh-boolean

TYEclipse

Boolean algebra toolbox for DeepSeek Harness (dsh): truth tables with minterm/maxterm summaries, canonical DNF/CNF, NNF, NAND-only/NOR-only gate networks, equivalence checking

Structure check pending
boolean-algebradeepseek-harnessdsh-pluginlogic
DSH PluginsPlugin

dsh-complex

TYEclipse

Complex-number math toolbox for DeepSeek Harness: parse, arithmetic, polar conversion, principal branch functions, n-th roots

Structure check pending
complex-numbersdeepseek-harnessdsh-pluginmath
DSH PluginsPlugin

dsh-linalg

TYEclipse

Linear algebra toolbox for DeepSeek Harness (dsh): matrix multiply, determinant, inverse, RREF, linear system solver, vector ops — zero runtime dependencies

Structure check pending
deepseek-harnessdsh-pluginlinear-algebramath