Smart-contract scanning tool built to discover vulnerabilities, mitigate risks in your code, and publish audit reports.