substrate-vulnerability-scanner

This skill guides developers through Trail of Bits' 5-step security workflow for smart contracts. It automates Slither analysis, checks for specific features like upgradeability, and generates security diagrams. Use it to systematically document security properties and review critical areas in your Solidity project.

This skill systematically assesses smart contract code maturity using Trail of Bits' 9-category security framework. It analyzes critical areas like arithmetic safety, access controls, and MEV risks to generate an evidence-based scorecard. Use it to get actionable security recommendations and a professional maturity assessment for your codebase.

This skill helps developers prepare smart contracts for security audits by automating Trail of Bits' checklist. It runs static analysis, improves test coverage, removes dead code, and generates documentation like flowcharts and user stories. Use it to systematically harden your codebase before a formal review.

This skill scans TON smart contracts written in FunC for three critical security vulnerabilities: integer-as-boolean misuse, fake Jetton contracts, and unprotected TON forwarding. Use it during smart contract audits to automatically detect these common flaws. It's designed for developers building or reviewing secure contracts on The Open Network.