Certora is now open source!What’s your excuse now for not securing your protocol, anon? https://t.co/JPqBR1JQ9p