RepoRadarsahibzada-allahyar/Formal-Verification-RSI
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.
2.9k stars · 127 forks · Python
Quick update: star history is from the full report of Oct 15, 2026.
Caution
Star growth includes unexplained bursts.
Why
- Star growth includes 2 unexplained bursts, about 1,968 stars above the usual rate (68 % of all stars). Anyone can buy stars for any repo. (source 1)
What would change this
- A new star analysis that no longer finds unexplained bursts.
Maintenance
CompleteActive
- Human commits, 30 days
- 7
- Human commits, 90 days
- 7
- Human commits, 365 days
- 7
- Bot share of commits, 365 days
- 0%
- Last commit
- Oct 22, 2026 (20 days ago)
- Last human commit
- Oct 22, 2026 (20 days ago)
- Authors, 90 days
- 1
- Last release
- none found
- Median PR merge time
- n/a
Too few recent issues to measure responsiveness.
- Only 1 recent issues can be checked for a response, too few to measure response time.
Sources: Commits, Releases, Merged pull requests, Issues
People
Complete- Owner
- Personal account
- Commits sampled
- 7 since Nov 12, 2025
- Authors for half of commits
- 1
- Authors for 80% of commits
- 1
- Contributors
- 1
Top committers
- sahibzada-allahyar: 100% of commits
Sources: Commits, Contributors
Stars
CompleteUnexplained bursts, confidence medium
Bursts
- Aug 16, 2025 to Sep 9, 2025: about 1.8k more stars than usual, peak 436 in one day, a spike that tapers off. No outside explanation found, so this burst is unexplained.
- Sep 22, 2025 to Oct 3, 2025: about 202 more stars than usual, peak 76 in one day, a spike that tapers off. We couldn't check for an outside explanation.
- May 8, 2026 to May 17, 2026: about 134 more stars than usual, peak 39 in one day, a spike that tapers off. No outside explanation found, so this burst is unexplained.
- Engagement is low for a repo this size (forks, watchers, issues, contributors).
Anyone can buy stars for any repo; bursts alone don't prove the owner did.
- Unexplained bursts: stars arrived with no matching forks, issues, releases, or launch coverage.
- Forks, watchers, issues, and contributors are low for the number of stars.
- Anyone can buy stars for any repo, so this describes the star history only.
- Star history from the full report of Oct 15, 2026; this update did not re-read it.
Sources: How star history is analyzed
Risk
CompleteFlags
No risk flags.
License
- Now
- MIT (OSI-approved)
- A year ago
- Not known
Packages
No published packages found.
Compare
Weighing sahibzada-allahyar/Formal-Verification-RSI against an alternative? See both side by side.
Badge
%22%3E%3Crect%20width%3D%2263%22%20height%3D%2220%22%20fill%3D%22%23555%22%2F%3E%3Crect%20x%3D%2263%22%20width%3D%2249%22%20height%3D%2220%22%20fill%3D%22%23dfa000%22%2F%3E%3C%2Fg%3E%3Cg%20fill%3D%22%23fff%22%20text-anchor%3D%22middle%22%20font-family%3D%22Verdana%2CGeneva%2CDejaVu%20Sans%2Csans-serif%22%20font-size%3D%2211%22%3E%3Ctext%20x%3D%2232%22%20y%3D%2214%22%3Ereporadar%3C%2Ftext%3E%3Ctext%20x%3D%2288%22%20y%3D%2214%22%3Ecaution%3C%2Ftext%3E%3C%2Fg%3E%3C%2Fsvg%3E){kind=small}
Add this to a README to show the current verdict:
[](https://reporadar.ai/sahibzada-allahyar/Formal-Verification-RSI)Follow
Get told when this verdict changes. Add the feed to any feed reader: you get one entry per change, not one per refresh.
https://reporadar.ai/sahibzada-allahyar/Formal-Verification-RSI/feed.xmlMore repos rated Caution
- webosbrew/
dev-manager-desktop 2.9k stars - luo-junyu/
Awesome-Agent-Papers 2.9k stars - jnsahaj/
lumen 2.9k stars - datawhalechina/
diy-llm 2.9k stars - chrisryugj/
korean-law-mcp 2.9k stars - rusq/
slackdump 2.9k stars
Earlier verdicts
- Nov 12, 2026: Caution
- Nov 11, 2026: Caution
- Nov 10, 2026: Caution
- Nov 9, 2026: Caution
- Nov 8, 2026: Caution
- Nov 7, 2026: Caution
- Nov 6, 2026: Caution
- Nov 5, 2026: Caution
- Nov 4, 2026: Caution
- Nov 3, 2026: Caution