anthropics/FlashProve
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
Rising: created 4d ago
- 667stars
- 57forks
- 1open issues
- updated 4d ago
About FlashProve
FlashProve is a free, open-source AI inference tool by anthropics, written mainly in Lean. A research prototype for zero-knowledge proofs of AI inference. Not maintained. It has 667 GitHub stars and 57 forks, and was last updated 4d ago. It's released under the Apache-2.0 license, a standard open-source license.
Similar free tools
krasis525 stars · Krasis is a Hybrid LLM runtime which focuses on efficient running of larger models on consumer grade VRAM limited hardware
llm-inference-engineering396 stars · Learn LLM Inference Engineering step by step - from KV cache, PagedAttention, and continuous batching to vLLM, SGLang, and GPUs.
cactus6.2k stars · Edge AI inference engine for mobile devices and wearables.
inference9.6k stars · Serve and deploy AI models with a single command.
BitNet41k stars · Optimized inference framework for 1-bit LLMs on CPU and GPU.
PowerInfer9.9k stars · High-speed Large Language Model Serving for Local Deployment
FlashProve FAQ
Can I use FlashProve commercially?
Yes. Apache-2.0 is a permissive license: commercial use is allowed as long as you keep the license notice. This is a plain-English summary, not legal advice.
Is FlashProve free?
Yes. FlashProve is open source and free to use. It's released under the Apache-2.0 license, a standard open-source license.
Does FlashProve run on a Mac?
The project doesn't say. Check its installation guide before you start.
Does FlashProve need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is FlashProve still maintained?
Yes. It was last updated 4d ago and has 1 open issues on GitHub.
What are alternatives to FlashProve?
Similar free, open-source tools include krasis, llm-inference-engineering, cactus, inference.
Related topics
Maintain FlashProve? Add a FreeAIRepo badge to your README
[](https://www.freeairepo.com/repo/anthropics/FlashProve)