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 Cairo/StarkNet smart contracts for six critical security vulnerabilities like arithmetic overflow and messaging issues. Use it during smart contract audits to automatically detect common security flaws in StarkNet projects. It's particularly valuable for developers building or reviewing secure Cairo 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.

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.