About
This skill implements the rigorous security methodology developed by Trail of Bits to ensure smart contract robustness throughout the development lifecycle. It automates critical security tasks such as running Slither static analysis scans, verifying ERC conformance, and checking upgradeability patterns. Beyond automated tools, it helps developers generate visual security diagrams and document essential security properties for future fuzzing or formal verification, providing a structured framework for both automated and manual security reviews.
