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.

scottnarmstrong / LeanAutoformalizationSkills

Portable Lean 4 autoformalization skills for Codex and Claude Code

Weber-GeoML / Choir

An open protocol for distributed multi-agent autoformalization.