We're a nonprofit building an ecosystem around provable safety properties. Humanity needs tools to set rules that AI must prove it’s obeying. We plan to help researchers, AI labs, governments, and communities to map out the tools they want to review AI systems by supporting an ecosystem for Provably Safe AI. With the Open Agency Architecture, humans will be able to demonstrate that any system built has safety properties.