proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
DebarghaG/proofofthought
View on GitHub ↗Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
proofofthought grew +0.3% in the last 30 days, ranks 464th of 1,059 in Prompting & Scaffolding, last commit 110 days ago.
Star trajectory
115 days tracked2026-07-02377 stars today2026-10-25
Momentum
+0.3% in 30d, below the Prompting & Scaffolding median of +1.4%.
Maintenance
Last commit 110 days ago, staler than the median of 27d.
How it compares in Prompting & Scaffolding
proofofthought
377
stars
+0.3% 30d
commit 110 days ago
Prompting & Scaffolding median
319
stars
+1.4% 30d
commit ~27d ago
Leader · ponytail
175.7k
stars
+20.6% 30d
commit 7 days ago
Ranked 464th of 1,059 by stars.
- Language
- Python
- License
- MIT License
- Contributors
- 1
- Forks
- 29
- Watchers
- 2
- Open issues
- 1
- Releases
- 1
- Created
- 2025-10-02
- Stars this week
- +0
You've seen where proofofthought stands today.
Get the moves before everyone else: the 5 Prompting & Scaffolding repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.