On-chain assertions for securing DAO proposals and Safe transactions. Verify invariants atomically. - View it on GitHub