cairo-vulnerability-scanner

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 identify common security flaws. It provides automated security analysis to help build more secure Solana programs.

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 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 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.