sahibzada-allahyar/Formal-Verification-RSI

Formal-Verification-RSI

✅ Recently maintained

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,871Stars
127Forks
+157-day stars

Python · MIT · Last push 2026-10-22

Official repository & installation ↗
proof-assistantlean4ai-agentsai-for-mathai-for-scienceai-safetyautoformalizationautomated-theorem-provingcoding-agentsdafny

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-052,829
2026-10-062,829
2026-10-072,830
2026-10-082,831
2026-10-092,832
2026-10-102,834
2026-10-112,836
2026-10-122,837
2026-10-132,839
2026-10-142,840
2026-10-152,840
2026-10-162,841
2026-10-172,845
2026-10-182,845
2026-10-192,847
2026-10-202,848
2026-10-212,848
2026-10-222,851
2026-10-232,853
2026-10-242,853
2026-10-252,855
2026-10-262,856
2026-10-272,857
2026-10-282,862
2026-10-292,864
2026-10-302,866
2026-10-312,868
2026-11-012,871
2026-11-022,871
2026-11-032,871

Get the project

git clone https://github.com/sahibzada-allahyar/Formal-Verification-RSI.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

happy

Orchestrate Claude, Codex and Grok in one app. Open-source (MIT), reuses the subscriptions you already pay for.

★ 24,463