anthropics/FlashProve
Can I trust it?
Worth a closer look before you use it.
Warnings Check
Very new: it was created 4 days ago. Wait a little before installing it.
Stars from real accounts No data
We haven't checked its stars for fakes yet.
Active OK
Last change 4 days ago.
Licence OK
Apache-2.0: you can use it for free, also in a commercial product. Keep the licence notice.
Quick checks from public data. They help, but they are no guarantee.
What it is
A research prototype that lets an AI provider prove, with zero-knowledge proofs, that a reply came from a committed model, without revealing the model's weights. Verification runs on a CPU and does not need the weights. The repository is not maintained.
Who it's for
Researchers studying verifiable AI inference and zero-knowledge proofs for machine learning models
How to use it
Install
verifier/build.shFrom its README. Check it there before running it.
Ask your AI to set it up
Paste this into Claude, ChatGPT or your coding assistant.
Help me install and set up anthropics/FlashProve in my project. Follow its README: https://github.com/anthropics/FlashProve. Explain each step and check it is safe before running anything.
Star curve
On the radar
Its place among the radar's top 100, day by day, with #1 at the top. Gaps are days it was out of the top 100.
Records
- Best place on RepoAlerts: #28, on 4 Nov 2026
Get alerts for repos like this
We'll email you when something in Models & inference starts rising. Free, once a week, only what matches.
What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy
For maintainers
Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.
[](https://repoalerts.com/repo/anthropics/FlashProve?ref=badge)Similar repos
- anthropics/formal-math
A collection of machine-checked Lean 4 formalizations published by Anthropic, each in its own Lake subproject with its own toolchain pin. The listed projects formalize a zeta function zero-density res
- anthropics/single-agent-loop-kit
A reference starter kit for moving a multi-agent system with a router and specialist subagents toward a single agent loop that loads skills and tools on demand. It audits subagents, scores changes on
- DAGroup-PKU/ResearchBoost-Agent
An autonomous agent that profiles bottlenecks in AI training code, implements optimizations, and validates speedups against a frozen judge that checks bitwise equivalence and statistical training equi
- openai/math
A collection of mathematical manuscripts and Lean formalizations produced by an unnamed internal OpenAI model while evaluating it on open research problems. Results are at different stages of verifica
- RUC-NLPIR/FlashRSI
A unified experiment framework for reproducing and comparing recursive self-improvement methods for AI agents. It runs RSI algorithms against benchmarks and agent harnesses, recording evolved resource
- Zero-Mem/Zero-mem
Zero-Mem is a structured memory framework for LLM agents. It keeps original interaction traces and organizes them into an entity-context graph and a temporal hierarchy, then uses query-conditioned ret