solana-vulnerability-scanner

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.

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 Solana and Anchor programs for six critical security vulnerabilities like arbitrary CPI and improper PDA validation. Developers should use it when auditing smart contracts to automatically detect common flaws. It's a security-focused tool from Trail of Bits for building secure contracts.

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.