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 about 1 month ago 1 commits 12 stars
helix-ai|Mirror: mbrcic/ai-safety-formalization-atlas (⭐12)
about 1 month 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