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 analyzes token implementations and integrations for security risks based on Trail of Bits' checklist. It checks ERC20/ERC721 conformity, detects unusual token patterns, and assesses contract privileges and scarcity. Use it when integrating tokens into protocols or auditing token contracts for non-standard behavior.

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 analyzes token implementations and integrations for security risks based on Trail of Bits' checklist. It checks ERC20/ERC721 conformity, detects unusual token patterns, and assesses contract privileges. Use it when integrating tokens or auditing token contracts to identify non-standard behaviors and vulnerabilities.