GITHUB TOPIC

theorem-proving

2projects include this topic

The "theorem-proving" topic on GitHub groups 2 open-source projects in the DeepSeek Harness (DSH) ecosystem, led by Vibe-Mathematics with 13 GitHub stars. Vibe-Mathematics — Vibe Mathematics —— multi-agent mathematical problem solving and formal verification framework. 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

Agents & sessionsPlugin

Vibe-Mathematics

ChongCyrus

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

Structure check pending

agent-presetai-agentsdeepseek-harnessdsh-plugin

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