skills/checklists/cyfrin-gas/SKILL.md
Cyfrin audit checklist — gas optimization and efficiency items for Solidity smart contracts
npx skillsauth add apegurus/solidity-argus cyfrin-gasInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Gas-related checklist items extracted from Cyfrin's audit checklist.
[ ] [SOL-EC-9] What happens if the call returns vast data?
[ ] [SOL-EC-7] What happens if the call consumes all provided gas?
transfer() or send() used for sending ETH?
call() to prevent potential gas issues.try/catch block account for potential gas shortages?
try/catch block without adequate gas can fail, leading to unexpected behaviors.try/catch block.testing
Specialist profile for mechanically applying the attack-vector deck and classifying vectors as skip, drop, or investigate.
tools
Specialist profile for libraries, helpers, base contracts, adapters, encoders, wrappers, and integration glue.
testing
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
testing
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.