We are currently in the progress of formally verifying the most current version of the smart contracts. Until this is completely finished we will consider this version a Beta version.
For more information check our blog: https://blog.gnosis.pm/formal-verification-of-the-gnosis-safe-contracts-faca6664950
The Gnosis Safe is a multi-signature Ethereum wallet providing users with a convenient, secure way to manage their digital assets and interact with the decentralized web. It offers multi-factor authentication for transactions, meaning that if one of your private keys is lost or stolen, you can still access your funds. As the first smart contract-based mobile wallet, the Gnosis Safe drastically simplifies interaction and integration with decentralized applications, becoming the premiere tool to enter the decentralized web.