Announcing Horus - an open-source formal verification tool for StarkNet developers!

We are excited to announce the arrival of Horus, our latest contribution to the StarkNet ecosystem. Horus is an automated theorem prover for Cairo designed to help you detect bugs before your smart contracts are deployed, ensuring their security and reliability.

The alpha version of Horus is now live. We’d love to hear about any issues you run into or any questions you might have!

:scroll: learn more about Horus: Horus - Nethermind

:technologist: You can find the code here: GitHub - NethermindEth/horus-checker: Horus, a formal verification tool for StarkNet smart contracts.