DebarghaG / proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
Why this job: works in the areas we cover, but does not say which job it does
What it does
- Agentic SMT-LIB Scratchpad (new default). Iterative z3_solve ⇄ finish tool loop with verdict-aware nudges, in-process Z3 (no CLI binary needed), and robust textual tool-call recovery for vLLM/sglang-served models
- Triple Backend Support. agentic (default), smt2, or json execution backends
- Azure OpenAI Integration. Native support for Azure GPT-4o and GPT-5 models
- Comprehensive Benchmarks. Evaluated on 5 reasoning datasets (ProntoQA, FOLIO, ProofWriter, ConditionalQA, StrategyQA)
- High-level API. Simple Python interface for reasoning tasks
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 12 days ago
- Stars
- 377
- On GitHub
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v2.0.0
- Released 12 days ago
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- 0% closed
- 1 still open
- Pull requests
- 6 merged
- 1 waiting
- Releases
- 2
- 2 in the last year
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| areal-project / AReaL | 5,907 | yesterday | Apache-2.0 | No downloads |
| stanford-centaur / PyPantograph | 151 | 13 days ago | Apache-2.0 | No downloads |
| lean-dojo / LeanCopilot | 1,344 | 30 days ago | MIT | Mac, Linux |
More: languages, topics and project record
Languages
- Python 100%
Topics
- automated-reasoning
- llm
- llm-inference
- llm-reasoning
- trustworthy-ai
- z3
Project record
- JobOther AI tools
- StatusListed
- Commits22
- Forks29
- Watching1
- Stars in 28 days0
- CreatedOct 2, 2025
- First seen by usNov 7, 2026
- CheckedNov 7, 2026