Introduction At Kleros, security is paramount. As we build decentralized dispute resolution systems that handle significant value, we need to ensure our smart contracts are resistant to attacks and vulnerabilities. While human review remains essential, automated tools can help identify issues early in the development process and provide an additional