The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.
Lean Updated 9 days ago 1 commits 12 stars
helix-ai|Mirror: mbrcic/ai-safety-formalization-atlas (⭐12)
9 days agoAbout
The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.
Readme
12 stars
3 forks