ton-vulnerability-scanner

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 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 scans Substrate/Polkadot blockchain pallets for seven critical security vulnerabilities like arithmetic overflows and bad origin checks. Use it when auditing Substrate runtimes or FRAME pallets to automatically detect common security issues. It's ideal for developers building or reviewing secure smart contracts on Polkadot.

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.