Detects input validation failures and arithmetic vulnerabilities in smart contracts. Covers missing zero-address and zero-amount checks, division-before-multiplication precision loss, rounding direction exploitation, ERC4626 vault share inflation attacks, unsafe integer casting, dust amount exploitation, and Solidity 0.8+ unchecked block edge cases. Use when auditing contracts with fee calculations, share pricing, exchange rates, unchecked blocks, or any public-facing functions that accept user input.
$npx -y skills add quillai-network/quillshield_skills --skill input-arithmetic-safetyInstalls into the current project.
Run `npx skills use "https://github.com/quillai-network/quillshield_skills" --skill "quillai-network/quillshield_skills/input-arithmetic-safety"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/quillai-network/quillshield_skills" that are relevant to the current task. Run `npx skills add "https://github.com/quillai-network/quillshield_skills"` and select the relevant skills, then follow their instructions.