anthropics /FlashProve
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
- Stars
- 908 stars
- Forks
- 83 forks
- Language
- Lean
- License
- APACHE-2.0
- Created
- Oct 30, 2026
- Last push
- Oct 30, 2026
- Updated
- Nov 5, 2026
Admitted to the Repository Index on Nov 4, 2026: +719 stars in 7 days.
Star History
4 days recorded, Nov 2, 2026 – Nov 5, 2026 (UTC). Net change +932 stars.
The star count of each day is the latest count minus the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/anthropics/FlashProve)Badge
[](https://awesomerepos.com/anthropics/FlashProve)Timeline
It gained stars on each of the 4 days recorded since Nov 2, 2026.
- Created on the Repository Host
- Latest push
- Reached 500 stars, 4 days after it was created
- Largest star day recorded: +560 stars
- Entered the Repository Index: +719 stars in 7 days
- +263 stars in one day
- +73 stars in one day
The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.
Forks and pushes
From 2 Observations, Nov 5, 2026 – Nov 6, 2026. Forks +12. AwesomeRepos saw a new push on 0 of 1 days.
- Nov 6, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Health facts
Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos reads the weekly commits, the changelog, and the community files each week for the 5,000 visible repositories with the most stars and for each rising repository. How AwesomeRepos defines each check
Maintenance
2 of 4 checks (2 without data)Yes: Not archived
GitHub does not mark the repository as archived. Source
Yes: A push in the last 90 days
Last push on 2026-10-30, 6 days ago. Source
No data: Commits in the last 13 weeks
No data: AwesomeRepos has not read the weekly commits.
No data: Commits in 26 or more of the last 52 weeks
No data: AwesomeRepos has not read the weekly commits.
Releases
0 of 3 checks (2 without data)No: A release in the last 365 days
No GitHub release (read on 2026-11-06). Source
No data: The newest release tag is a semantic version
No data: no release.
No data: A changelog file at the root
No data: AwesomeRepos has not scanned this repository.
Security practice
0 of 1 check (1 without data)No data: A security policy
No data: AwesomeRepos has not scanned this repository.
AwesomeRepos has not asked OpenSSF Scorecard about this repository.
Community files
1 of 3 checks (2 without data)Yes: A licence
GitHub finds the licence APACHE-2.0. Source
No data: A contributing guide
No data: AwesomeRepos has not scanned this repository.
No data: A code of conduct
No data: AwesomeRepos has not scanned this repository.
Dependencies in the index
This section shows the packages that connect this repository to other repositories in the index.
The GitHub dependency graph of this repository names 257 direct packages (scanned on Nov 6, 2026). Packages from 53 other repositories in the index are among them.
No scanned repository names a package from this repository.
Uses (in the index) · 53
PyPI: transformers
PyPI: gguf
- pytorch/pytorch105K
PyPI: torch
PyPI: vllm
PyPI: rich
- psf/requests55K
PyPI: requests
- grpc/grpc45K
PyPI: grpcio
- numpy/numpy33K
PyPI: numpy
PyPI: openai
- tqdm/tqdm31K
PyPI: tqdm
Show all 53
PyPI: pydantic, pydantic-core
PyPI: mcp, mcp-types
PyPI: loguru
PyPI: tokenspeed-triton
PyPI: tiktoken
PyPI: torchvision
PyPI: click
PyPI: networkx
- apache/arrow17K
PyPI: pyarrow
PyPI: aiohttp
- encode/httpx16K
PyPI: httpx
- sympy/sympy15K
PyPI: sympy
PyPI: pytest
PyPI: pillow
- Z3Prover/z313K
PyPI: z3-solver
PyPI: starlette
PyPI: sentencepiece
PyPI: uvloop
PyPI: psutil
PyPI: tokenizers
- numba/numba11K
PyPI: numba
PyPI: uvicorn
PyPI: nvidia-cutlass-dsl, nvidia-cutlass-dsl-libs-base, nvidia-cutlass-dsl-libs-core, nvidia-cutlass-dsl-libs-cu12 and 1 more
PyPI: supervisor
PyPI: python-dotenv
PyPI: cryptography
PyPI: attrs
PyPI: websockets
- jpadilla/pyjwt5.7K
PyPI: pyjwt
PyPI: opencv-python-headless
- NVIDIA/nccl5.2K
PyPI: nccl4py
PyPI: jsonschema
- zeromq/pyzmq4.2K
PyPI: pyzmq
- urllib3/urllib34.1K
PyPI: urllib3
PyPI: pyyaml
PyPI: torchaudio
- tkem/cachetools2.8K
PyPI: cachetools
- agronholm/anyio2.6K
PyPI: anyio
PyPI: watchfiles
PyPI: sentry-sdk
PyPI: markdown-it-py
PyPI: markupsafe
PyPI: typing-extensions
Used by (in the index) · 0
None.
Sources: the GitHub dependency graph of each repository, and deps.dev for the source repository of each package (checked on Nov 3, 2026). A dependency graph also names development packages. deps.dev takes most source repositories from package metadata. How the dependency graph is made
Observations
Latest Observation, Nov 6, 2026: 908 stars, 83 forks, last push Oct 30, 2026, not archived. One of 2 Observations since Nov 5, 2026.