Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

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.

#Curated list
Visit GitHub
Python
2.9k
130
3 contributors
MIT License
website
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast sahibzada-allahyar/Formal-Verification-RSI is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Sep 6 – Nov 5, 2026

Stars +77 in 61 days

024
4

Forks +3 in 61 days

01
1

Merged PRs 0 in 61 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Sep 6Sep 14Sep 22Sep 30Oct 8Oct 16Oct 24Nov 1
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Sun, Sep 6, 2026+0+10
Mon, Sep 7, 2026+2+00
Tue, Sep 8, 2026+0+00
Wed, Sep 9, 2026+1+00
Thu, Sep 10, 2026+0+00
Fri, Sep 11, 2026+0+10
Sat, Sep 12, 2026+1+00
Sun, Sep 13, 2026+1+00
Mon, Sep 14, 2026+1+00
Tue, Sep 15, 2026+2+00
Wed, Sep 16, 2026+1+00
Thu, Sep 17, 2026+0+00
Fri, Sep 18, 2026+1+00
Sat, Sep 19, 2026+0+00
Sun, Sep 20, 2026+2+00
Mon, Sep 21, 2026+2+00
Tue, Sep 22, 2026+1+00
Wed, Sep 23, 2026+1+00
Thu, Sep 24, 2026+0+00
Fri, Sep 25, 2026+0+00
Sat, Sep 26, 2026+3+00
Sun, Sep 27, 2026+2+00
Mon, Sep 28, 2026+1+00
Tue, Sep 29, 2026+2+00
Wed, Sep 30, 2026+1+00
Thu, Oct 1, 2026+2+00
Fri, Oct 2, 2026+0+00
Sat, Oct 3, 2026+3+00
Sun, Oct 4, 2026+2+00
Mon, Oct 5, 2026+0+00
Tue, Oct 6, 2026+2+00
Wed, Oct 7, 2026+0+00
Thu, Oct 8, 2026+1+00
Fri, Oct 9, 2026+0+00
Sat, Oct 10, 2026+2+00
Sun, Oct 11, 2026+2+00
Mon, Oct 12, 2026+2+00
Tue, Oct 13, 2026+1+00
Wed, Oct 14, 2026+2+00
Thu, Oct 15, 2026+0+00
Fri, Oct 16, 2026+2+00
Sat, Oct 17, 2026+1+00
Sun, Oct 18, 2026+3+00
Mon, Oct 19, 2026+1+00
Tue, Oct 20, 2026+1+00
Wed, Oct 21, 2026+0+00
Thu, Oct 22, 2026+3+00
Fri, Oct 23, 2026+1+00
Sat, Oct 24, 2026+0+00
Sun, Oct 25, 2026+2+10
Mon, Oct 26, 2026+1+00
Tue, Oct 27, 2026+1+00
Wed, Oct 28, 2026+2+00
Thu, Oct 29, 2026+4+00
Fri, Oct 30, 2026+0+00
Sat, Oct 31, 2026+4+00
Sun, Nov 1, 2026+3+00
Mon, Nov 2, 2026+0+00
Tue, Nov 3, 2026+2+00
Wed, Nov 4, 2026+2+00
Thu, Nov 5, 2026+0+00
Total+77+30
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about sahibzada-allahyar/Formal-Verification-RSI, and every badge it has earned
    1. Jul 311 post

      • • Agentic Deep Research for comprehensive recursive exploration • Agentic Quant Hedge Fund with autonomous trading agents • Agentic AI Hospital democratizing Cambridge-level medical care

        Read full on X, posted by @the_osps

        @the_osps · x.com

    You might also like

    Repositories close to sahibzada-allahyar/Formal-Verification-RSI
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    tayyabimam1/awesome-ai-agent-stack

    TypeScript

    Curated map of 3,000+ open-source AI agent tools: coding agents, agent frameworks, MCP servers, RAG, memory and local LLMs, sorted by layer and ranked by GitHub stars.

    308

    ashishpatel26/500-AI-Agents-Projects

    Python

    The 500 AI Agents Projects is a curated collection of AI agent use cases across various industries. It showcases practical applications and provides links to open-source projects for implementation, illustrating how AI agents are transforming sectors such as healthcare, finance, education, retail, and more.

    39.3k7.2k

    slavakurilyak/awesome-ai-agents

    Go

    Awesome list of 300+ agentic AI resources

    2.9k803

    kyrolabs/awesome-agents

    🤖 Awesome list of AI Agents

    3k1k

    Shubhamsaboo/Shubhamsaboo

    1129

    eng-accelerator/outskill-ai-lab

    Python
    199199

    aloth/awesome-ai-agents

    A curated list of AI agent frameworks, tools, platforms, research papers, and resources

    82114

    avinash201199/free-ai-agents-resources

    Free AI Agents Resources – Your All-in-One 2026 Learning Hub

    1.1k154

    NipunaRanasinghe/awesome-ai-agents

    HTML

    A curated list of frameworks, tools, and resources for building and deploying AI agents.

    62100