Vulnerability Scanner

A specialized security scanner for Solana blockchain programs that detects 6 critical vulnerability patterns including arbitrary cross-program invocations, improper PDA validation, and missing signer/ownership checks. It provides detailed vulnerability reports with code examples and mitigation strategies for both native Solana and Anchor framework programs.

A comprehensive security scanner for Cosmos SDK blockchains that identifies 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. It provides detection patterns, mitigation strategies, and testing recommendations for auditing Cosmos chains and CosmWasm contracts.

A comprehensive security auditing skill for Cairo/StarkNet smart contracts. It systematically scans for 6 critical vulnerability patterns including arithmetic overflow, L1-L2 messaging issues, signature replay attacks, and unchecked access control, providing detailed remediation guidance and integration with the Caracal static analyzer.