Skip to content
#

provable-safety

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Rust 1

mbrcic / ai-safety-formalization-atlas

Star 12

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.

theorem-proving proof-assistant alignment formal-methods formalization formal-verification ai-safety interactive-theorem-proving social-choice mathlib ai-alignment computability lean4 agent-foundations provable-safety
  • Updated Sep 8, 2026
  • Lean
franken_alignment

Dicklesworthstone / franken_alignment

Sponsor
Star 6

Evidence-carrying control system for powerful AI agents, featuring epistemic MVCC, authority graphs, progressive ATP evidence, and decision-sensitive introspection in pure safe Rust.

formal-verification causal-inference ai-safety metacognition structured-concurrency ai-alignment commit-reveal safe-rust agent-control authority-graph asupersync frankensuite provable-safety epistemic-mvcc introspective-compression
  • Updated Sep 8, 2026
  • Rust

Add this topic to your repo

To associate your repository with the provable-safety topic, visit your repo's landing page and select "manage topics."

Learn more