MakerRelay
+ Submit
← GitHub Trending

GitHub topic

self-improving-ai GitHub repositories

Explore 4 tracked GitHub repositories tagged self-improving-ai. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.

Snapshot: 2026-10-28. The collection gained 6 stars since the previous daily snapshot.

Tracked repositories
4
Total stars
16,693
Stars gained · 7 days
+25
Stars gained · 30 days
+4,348

Compare star activity

Up to five projects on this page, ordered by total stars. Open a project for its description and recorded star history.

Swipe to compare all star periods →

Star activity for self-improving-ai repositories on this page
RepositoryTotal starsToday7 days30 days
spinabot/brigade11.4K+4+10+4,292
sahibzada-allahyar/Formal-Verification-RSI2.9K+1+5+5
WecoAI/aideml1.6K+1+10+51
fainir/most-capable-agent-system-prompt878+0+0+0

Explore repositories

Showing 1–4 of 4 tracked repositories.

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.