# Security

**Is Squads Protocol open-source?**

Yes, our code is open-source and available to view [here](https://github.com/squads-dapp/squads-mpl).

**Is Squads Protocol Secure?**

To ensure that Squads Protocol is secure, we have taken the following actions:

* independent security audit with [Bramah Systems](https://github.com/Squads-Protocol/squads-mpl/blob/main/Squads_V3_Audit_Bramah.pdf);
* independent security audit with [OtterSec](https://github.com/Squads-Protocol/squads-mpl/blob/main/Squads%20V3%20-%20OtterSec%20Audit.pdf);
* Squads program has been [formally verified](https://osec.io/blog/tutorials/2023-01-26-formally-verifying-solana-programs/);
* made Squads V3 program [immutable](https://solana.fm/address/SMPLecH534NA9acpos4G6x7uf3LWbCAwZQE9e8ZekMu?cluster=mainnet-solanafmbeta);
* running the [Sec3](https://pro.sec3.dev/) premium tool after any changes to the on-chain code;
* written the program in [Anchor](https://www.anchor-lang.com/) (a framework for quickly building secure Solana programs);
* kept the codebase minimal;
* open sourced the codebase;
* asked a number of established teams in the ecosystem to review the code and give their feedback.