Structured skills to assist in performing smart contract security audits by inferring state invariants and detecting vulnerabilities.
Discovered on GitHub via GitHub:quillai-network