GITHUB TOPIC
1projects包含此标签
The "ai-for-math" topic on GitHub groups 1 open-source project in the DeepSeek Harness (DSH) ecosystem, led by dsh-math-proof. dsh-math-proof — 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). Every project here is indexed by DSH Universe with live GitHub data — stars, activity and install status — so you can compare and install directly.
1 projects
GitHub Topic 精确匹配
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)