Structured skills designed for smart contract security audits that infer state invariants and detect semantic guard gaps.
Discovered on GitHub via GitHub:quillai-network