A tool that provides structured skills for smart contract security audits, inferring state invariants and detecting semantic guard gaps.
Discovered on GitHub via GitHub:quillai-network