ZOYKU · Open Source Intelligence · Repository archive

anthropics/flashprove

A research prototype for zero-knowledge proofs of AI inference. Not maintained.

LeanApache-2.0Regularly maintained · Pushed 10d ago

Best

#156

Milestones

DocumentationOpen on GitHub

stars

998

forks

103

issues

Daily star gain

—

days old

Milestones #156 Underrated #253

6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->

Architectural Persona

Specialized Tactical Vanguard

Distinct edge and dedicated footprint in specialized territory

Combat Score

/ 100

7-Day Star Velocity

Fork/Star Adoption

10.3%

Cumulative stars

Next Milestone: 1k (2 stars to go)

2026-11-10: 998

Rank movement

Best: #156

2026-11-10: #156 on milestone

Similar projects · shared language & topics

openai/math17.5k leanprover/lean49.9k openai/navierstokesandeuler2.1k anthropics/fermats-last-theorem1.3k prove2me/prove2me_workspace100

Maintainer Badge Studio

Embed GitHub README Live Badge

Embed dynamic SVG badges into your README to reflect real-time rankings and documentation mirrors.

Preview240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/en/repo/anthropics/flashprove" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/anthropics/flashprove?theme=dark&lang=en" />
    <img alt="GitHub Hot Rank - anthropics/flashprove" src="https://git.zoyku.com/api/badge/card/anthropics/flashprove?theme=light&lang=en" height="64" />
  </picture>
</a>