Smart contract and Web3 security audit skill for Solidity, Vyper, Move, and Cairo. Covers reentrancy, access control, oracle manipulation, MEV/sandwich exposure, signature replay, upgrade safety, ERC token edge cases, bridge risk, and DeFi invariants. Tooling includes Slither, Mythril, Echidna, Foundry, Halmo, Certora, and custom invariant tests. Use for design review, code audit, and incident analysis on contracts you own or are authorized to assess.
$npx -y skills add masriyan/gemini-security-skills --skill smart-contract-auditInstalls into the current project.
Run `npx skills use "https://github.com/masriyan/gemini-security-skills" --skill "masriyan/gemini-security-skills/smart-contract-audit"` 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/masriyan/gemini-security-skills" that are relevant to the current task. Run `npx skills add "https://github.com/masriyan/gemini-security-skills"` and select the relevant skills, then follow their instructions.