Loading repository
Fetching stored metadata and the latest 30-day history from Repovil.
AI open-source momentum index
Repository profile
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
30-day signal
| Date | Stars | Source |
|---|---|---|
| October 23, 2026 at 07:16 AM UTC | 2852 | Actual snapshot |
| October 23, 2026 at 01:14 PM UTC | 2853 | Actual snapshot |
| October 23, 2026 at 07:17 PM UTC | 2854 | Actual snapshot |
| October 24, 2026 at 01:16 AM UTC | 2854 | Actual snapshot |
| October 24, 2026 at 06:45 AM UTC | 2854 | Actual snapshot |
| October 24, 2026 at 01:44 PM UTC | 2854 | Actual snapshot |
| October 24, 2026 at 07:13 PM UTC | 2854 | Actual snapshot |
| October 25, 2026 at 01:13 AM UTC | 2854 | Actual snapshot |
| October 25, 2026 at 07:04 AM UTC | 2854 | Actual snapshot |
| October 25, 2026 at 01:13 PM UTC | 2855 | Actual snapshot |
| October 25, 2026 at 07:15 PM UTC | 2856 | Actual snapshot |
| October 26, 2026 at 01:16 AM UTC | 2856 | Actual snapshot |
| October 26, 2026 at 07:04 AM UTC | 2856 | Actual snapshot |
| October 26, 2026 at 12:33 PM UTC | 2856 | Actual snapshot |
| October 26, 2026 at 06:36 PM UTC | 2856 | Actual snapshot |
| October 27, 2026 at 12:35 AM UTC | 2857 | Actual snapshot |
| October 27, 2026 at 06:32 AM UTC | 2857 | Actual snapshot |
| October 27, 2026 at 12:35 PM UTC | 2857 | Actual snapshot |
| October 27, 2026 at 06:36 PM UTC | 2857 | Actual snapshot |
| October 28, 2026 at 12:31 AM UTC | 2858 | Actual snapshot |