Detects deployment cost inefficiencies in Solidity: factory patterns that deploy full contracts when ERC-1167 minimal proxies would suffice, non-payable admin functions with unnecessary ETH check overhead, dead code paths inflating bytecode, and opportunities for vanity addresses via CREATE2 for high-frequency…
Detects storage slot inefficiencies in Solidity contracts: struct packing gaps, suboptimal field ordering, mapping-vs-array tradeoffs, SSTORE2 for large static data, transient storage for within-transaction state, and batch mutation patterns. Use when writing or reviewing struct definitions, state variable…
Use when analyzing EVM/DeFi arbitrage opportunities — cross-DEX spot spreads, triangular cycles, stablecoin depegs, or MEV/price dislocation — or when the user wants opportunities quantified net of fees, gas, and slippage. Analysis only, not trade execution.
Use when reducing gas costs, auditing gas usage, or refactoring Solidity/Yul for efficiency — when a contract should be cheaper to deploy or call, or when the user mentions high gas fees, SSTORE/SLOAD costs, storage packing, calldata vs memory, unchecked math, loop costs, or transient storage (EIP-1153).
Use when auditing an EVM/Solidity contract for security vulnerabilities — including reentrancy, access-control gaps, EIP-7702 delegation risks, EIP-1153 transient storage flaws, unsafe delegatecall, or hardcoded secrets — or when evaluating contract safety and producing a severity-rated finding set.