DebarghaG/proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
365 stars and 16 monthly downloads. Available on PyPI.
Stars
365
Forks
24
Language
Python
License
MIT
Category
Last pushed
Feb 08, 2026
Monthly downloads
16
Commits (30d)
0
Dependencies
5
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/DebarghaG/proofofthought"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Featured in
Related tools
EvolvingLMMs-Lab/lmms-eval
One-for-All Multimodal Evaluation Toolkit Across Text, Image, Video, and Audio Tasks
open-compass/VLMEvalKit
Open-source evaluation toolkit of large multi-modality models (LMMs), support 220+ LMMs, 80+ benchmarks
evalplus/evalplus
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
Giskard-AI/giskard-oss
🐢 Open-Source Evaluation & Testing library for LLM Agents
vibrantlabsai/ragas
Supercharge Your LLM Application Evaluations 🚀