# sahibzada-allahyar/Formal-Verification-RSI — RepoVerse

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.

URL: https://repoverse.app/cards/937280308

[Repository source](https://github.com/sahibzada-allahyar/Formal-Verification-RSI)

## Card snapshot

- Edition: Genesis
- Rarity: common
- Finish: Base
- Attack: 2463
- Defense: 1473
- GitHub stars: 2851
- GitHub forks: 126
- Language: Python
- Category: AI Pioneers
- Snapshot date: 2026-10-22

These repository statistics and game attributes belong to this dated card snapshot. They are not a current assessment of software quality.

This page describes the repository card, without a holder or individual copy record.

- [Rules](https://repoverse.app/rules.md)
- [Explore](https://repoverse.app/explore)