Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified r…
Live
Open / InstallLast updated October 23, 2026
Description
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. An open-source AI framework/SDK by sahibzada-allahyar, hosted on GitHub.
Community Metrics
Views
2,852
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
sahibzada-allahyar
Platform
api
Pricing model
free
Categories
- AI Frameworks
Tags
- ai-agents
- ai-for-math
- ai-for-science
- ai-safety
- autoformalization
- automated-theorem-proving
- coding-agents
- dafny
- github
Capabilities
- 2,852 stars
- Python
Information
TypeFramework
SourceGitHub
AddedOctober 23, 2026