Formal Verification RSI AI Agent

by sahibzada-allahyar• 2.9k•• Scanned•Claim this listing•Request removal
Coding Agentsai agentsai for mathai for scienceai safetyautoformalization

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.

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.

aboutREADMEsecurityreviews
–
No reviews yet
Write a review

Sign in with GitHub to rate this listing.

    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.

    NameStarsLicenceLast updatedScan
    Formal Verification RSI (this page)
    sahibzada-allahyar
    		2.9kMITOct 22, 2026Scanned, no flagged issues
    AutoGPT
    Significant-Gravitas
    		188kNone foundNov 1, 2026Not scanned yet
    Langchain
    langchain-ai
    		149kMITNov 1, 2026Scanned, no flagged issues
    Gemini CLI
    google-gemini
    		109kApache-2.0Nov 1, 2026Scanned, no flagged issues
    MetaGPT
    FoundationAgents
    		71kMITJan 21, 2026Scanned, no flagged issues
    Oh My Openagent
    code-yeongyu
    		71kNone foundNov 1, 2026Not scanned yet