GITHUB TOPIC
2projects include this topic
The "formal-verification" topic on GitHub groups 2 open-source projects 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.
{count} projects
Exact GitHub Topic match
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)
inoricon1
Evidence-gated frontier mathematics research workflow for DeepSeek Harness