algorand-vulnerability-scanner

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