YC-Killer
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.
sahibzada-allahyar/YC-Killer
View on GitHub ↗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.
YC-Killer grew +1.0% in the last 30 days, ranks 299th of 2,576 in Agent SDK / Framework, actively maintained, last commit today.
Star trajectory
113 days tracked+1.0% in 30d, below the Agent SDK / Framework median of +1.5%.
Last commit today, fresher than the median of 14d.
How it compares in Agent SDK / Framework
Ranked 299th of 2,576 by stars.
- Language
- Python
- License
- MIT License
- Contributors
- 1
- Forks
- 126
- Watchers
- 1
- Open issues
- 149
- Releases
- 0
- Created
- 2025-02-22
- Stars this week
- +10
You've seen where YC-Killer stands today.
Get the moves before everyone else: the 5 Agent SDK / Framework repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.