See: https://github.com/morpho-org/metamorpho-v1.1/blob/main/.github/workflows/certora.yml https://github.com/morpho-org/metamorpho-v1.1/tree/main/certora https://www.certora.com/blog/certora-goes-open-source https://docs.certora.com/en/latest/index.html
