self-improving-ai
6 projects share this GitHub topic
Lines connect members that are measurably related to each other. Dot size reflects stars.
🧬 Members
brigade
Brigade — Your personal intelligence, built enterprise-grade
★ 11.4k
Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and…
★ 2.9k · GitHub ↗
aideml
AIDE: an LLM agent for machine learning engineering - the research Weco grew out of. Referenced in OpenAI…
★ 1.6k
awesome-autoresearch
Curated list of AutoResearch use cases with optimization traces and open source implementations
★ 1.1k
a-evolve
The official repository of "Position: Agentic Evolution is the Path to Evolving LLMs".
★ 795
claude-smart
Turns corrections into Preferences, Project-specific skills, and Shared skills for Claude Code, Codex, and…
★ 774
🔗 Related families
Measured from GitHub topics shared by both projects, weighted by how rare each topic is.