Formal Verification RSI AI Agent
by sahibzada-allahyarFormal 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.
Formal Verification RSI is an open-source ai agent by sahibzada-allahyar, written mainly in Python, with 2,869 GitHub stars and the MIT license. Its code was last updated Oct 22, 2026.
Scan summary: scanned Nov 5, 2026 at commit 967795e. Seen able to run shell commands, run dynamic code. Scan policy
What Formal Verification RSI can touch
- Seen in this scan, either in the code or while it ran.Run shell commandsFound in the code by our scan
- Seen in this scan, either in the code or while it ran.Run dynamic codeFound in the code by our scan
- Our checks did not find this. The tool may still do it.Read or write filesNot seen in this scan
- Our checks did not find this. The tool may still do it.Read environment and secretsNot seen in this scan
- Our checks did not find this. The tool may still do it.Control a web browserNot seen in this scan
- Our checks did not find this. The tool may still do it.Connect to databasesNot seen in this scan
- Our checks did not find this. The tool may still do it.Read or send messagesNot seen in this scan
- Our checks did not find this. The tool may still do it.Touch money or tradingNot seen in this scan
- Our checks did not find this. The tool may still do it.Connect to the internetNot run in this scan
"Not seen" means our checks did not find it, and the tool may still do it. Covers commit 967795e, Nov 5, 2026. See the scan policy.
Before you install Formal Verification RSI
AgenticMart scanned Formal Verification RSI on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.
What it can access
- An AI agent decides its own next steps and calls whatever tools you give it, so its risk depends on the access you grant.
Before you install
- Pin the version you reviewed instead of always installing the latest release.
- Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
- Maintained by sahibzada-allahyar on GitHub, 2,869 stars and 127 forks. Popularity is not proof of safety.
- Last code change: Oct 22, 2026.
- Open-source license: MIT.
Formal Verification RSI is an open-source ai agent by sahibzada-allahyar, written mainly in Python. 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.
At a glance
- Stars
- 2.9k
- Forks
- 127
- Language
- Python
- License
- MIT
- Created
- Feb 2025
- Last update
- Oct 22, 2026
- Type
- AI Agent
- Price
- Free
Topics
Questions about Formal Verification RSI
What is 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.
Who maintains Formal Verification RSI?
Formal Verification RSI is maintained by sahibzada-allahyar on GitHub (sahibzada-allahyar/Formal-Verification-RSI). AgenticMart lists it from public repository data.
Is Formal Verification RSI safe to use?
AgenticMart scanned Formal Verification RSI on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.
What license does Formal Verification RSI use?
It is published under the MIT license.
Formal Verification RSI alternatives
View more →Similar ai agents in Coding Agents, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.
| Name | Stars | Licence | Last updated | Scan |
|---|---|---|---|---|
| Formal Verification RSI (this page) sahibzada-allahyar | 2.9k | MIT | Oct 22, 2026 | Scanned, no flagged issues |
| AutoGPT Significant-Gravitas | 188k | None found | Nov 1, 2026 | Not scanned yet |
| Langchain langchain-ai | 149k | MIT | Nov 1, 2026 | Scanned, no flagged issues |
| Gemini CLI google-gemini | 109k | Apache-2.0 | Nov 1, 2026 | Scanned, no flagged issues |
| MetaGPT FoundationAgents | 71k | MIT | Jan 21, 2026 | Scanned, no flagged issues |
| Oh My Openagent code-yeongyu | 71k | None found | Nov 1, 2026 | Not scanned yet |