DebarghaG/proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
- Stars
- 377
- Forks
- 29
- Open issues
- 1
- Last push
- 3mo ago
About proofofthought
proofofthought is a free, open-source LLM chat app by DebarghaG, written mainly in Python. Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL). It has 377 GitHub stars and 29 forks, and was last updated 3mo ago. It's released under the MIT license, a standard open-source license.
- License
- MIT
- Language
- Python
- Stars
- 377
- Last update
- 3mo ago
- Runs on Mac
- Not stated
- GPU
- Not stated
- Paid API key
- Required
- Self-hostable
- Yes
Similar free tools
khoj38k stars · Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous AI
open-webui156k stars · User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Open-LLM-VTuber14k stars · Talk to any LLM with hands-free voice interaction, voice interruption, and Live2D avatar running locally across platforms
llamafile26k stars · Distribute and run LLMs with a single file.
QwenPaw36k stars · Your Personal AI Assistant; easy to install, deploy on your own machine or on the cloud; supports multiple chat apps with easily extensible capabilities.
ai27k stars · The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents
proofofthought FAQ
Is proofofthought free?
proofofthought is open source, but it needs a paid third-party API key to work. It's released under the MIT license, a standard open-source license.
Does proofofthought run on a Mac?
The project doesn't say. Check its installation guide before you start.
Does proofofthought need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is proofofthought still maintained?
It was last updated 3mo ago. Check recent issues on GitHub to judge how active it is.
What are alternatives to proofofthought?
Similar free, open-source tools include khoj, open-webui, Open-LLM-VTuber, llamafile.