GITHUB TOPIC

mathematics

3projects include this topic

The "mathematics" topic on GitHub groups 3 open-source projects in the DeepSeek Harness (DSH) ecosystem, led by math-skill with 11 GitHub stars. math-skill — math-skill：面向 AI 与密码学创新的数学研究操作系统. 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

math-skill

the-thinker0

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

Structure check pending

aiclaude-skillscodex-skillcursor-skills

DSH PluginsPlugin

dsh-math-proof

clearnature

dsh agda plugin: DeepSeek Harness math proof agent preset —— Agda kernel as sole arbiter, compute then verify, long-horizon proof ledger, retains proof info (object generation method/evidence tier/falsified judgments)

Structure check pending

agdaagent-presetai-for-mathdeepseek-harness

Learning & researchPlugin

dsh-frontier-math

inoricon1

Evidence-gated frontier mathematics research workflow for DeepSeek Harness

Structure check pending

deepseekdeepseek-harnessdsh-pluginformal-verification