Pre-deployment security audit of Solidity smart contracts in a Foundry project. Combines static analysis (Slither, Aderyn), symbolic execution (Mythril), and property-based testing (forge fuzz + invariant tests with handlers) to catch reentrancy, access-control, oracle/price manipulation, and arithmetic bugs BEFORE deploying to an EVM chain.
安装
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill auditing-foundry-smart-contract-securitynpx skills add mukul975/Anthropic-Cybersecurity-Skills --skill auditing-foundry-smart-contract-security -a claude-code -gnpx skills add mukul975/Anthropic-Cybersecurity-Skills --skill auditing-foundry-smart-contract-security -a codex -ggemini skills install https://github.com/mukul975/Anthropic-Cybersecurity-Skills.git --path skills/auditing-foundry-smart-contract-securitygh skill install mukul975/Anthropic-Cybersecurity-Skills auditing-foundry-smart-contract-securitygit clone --depth 1 https://github.com/mukul975/Anthropic-Cybersecurity-Skills /tmp/mukul975__Anthropic-Cybersecurity-Skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/mukul975__Anthropic-Cybersecurity-Skills/skills/auditing-foundry-smart-contract-security ~/.claude/skills/auditing-foundry-smart-contract-security # Claude Code
cp -R /tmp/mukul975__Anthropic-Cybersecurity-Skills/skills/auditing-foundry-smart-contract-security ~/.agents/skills/auditing-foundry-smart-contract-security # Codex, Cursor, Gemini CLI, Copilot, OpenCode