01Scans for incorrect signer validation in transaction handling
02Tailored for both Cosmos SDK modules and CosmWasm contracts
03Detects 9 distinct consensus-critical vulnerability patterns
042 GitHub stars
05Identifies non-determinism risks in blockchain state machine logic
06Flags potential ABCI panics that could cause chain halts