sahibzada-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.
- Stars
- 2.9k
- Forks
- 127
- Language
- Python
- License
- MIT
- Last commit
- updated Oct 2026
Straight from GitHub
Nobody has written up this repo. Everything on this page comes straight from the GitHub API, so there is no founder write-up, no pros and cons, and no difficulty rating — rather than a generated guess at them.
Maintenance
Pushed within three months of the last stats read (as of Nov 6, 2026).
Licence
MIT
Tech stack
Primary language: Python. GitHub reports only the dominant language, so this is not the whole stack.
Install
No install command has been verified for this repo. Follow the README rather than a guess.
Quality score
Computed by the discovery import when this entry was added.
- Recent activity×0.30
- 1.00
How recently the default branch was pushed to.
- Adoption×0.20
- 0.74
Stars on a log scale, so adoption counts without dominating.
- Description and topics×0.15
- 1.00
Whether the repo describes itself: description, topics, homepage.
- README present×0.15
- 1.00
Whether the repository has a README at all.
- Licence clarity×0.10
- 1.00
Whether GitHub can resolve the licence to a recognised SPDX id.
- Issue health×0.10
- 0.60
Open issues relative to adoption, as a rough maintenance signal.
Similar repos
Same category, ranked by shared topics.
AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.
6.5k starsPythonMITupdated Nov 2026AI & MLThe agent that grows with you
261k starsPythonMITupdated Nov 2026AI & MLThe agent engineering platform.
149.1k starsPythonMITupdated Nov 2026AI & MLOpen-source Python library for AI browser agents, plus Browser Use Cloud: stealth browsers and a hosted agent API.
120.2k starsPythonMITupdated Nov 2026AI & ML
Stats updated Nov 6, 2026. Stars, forks, issue counts, and dates are a snapshot read from the GitHub REST API, not a live figure. This site makes no requests to GitHub when you load a page.