Deep security audit of a smart-contract repo OR a live on-chain contract by address - detect Solidity, model the protocol invariants and trust boundaries first, run Slither (best-effort) plus a bounded agentic pass that hunts for a path breaking each invariant, triage, adversarially verify, prove with a fuzzer, and drive each finding through the shared responsible-disclosure routing.
Install
npx skills add aeonfun/aeon --skill sc-auditnpx skills add aeonfun/aeon --skill sc-audit -a claude-code -gnpx skills add aeonfun/aeon --skill sc-audit -a codex -ggemini skills install https://github.com/aeonfun/aeon.git --path skills/sc-auditgh skill install aeonfun/aeon sc-auditgit clone --depth 1 https://github.com/aeonfun/aeon /tmp/aeonfun__aeon
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/aeonfun__aeon/skills/sc-audit ~/.claude/skills/sc-audit # Claude Code
cp -R /tmp/aeonfun__aeon/skills/sc-audit ~/.agents/skills/sc-audit # Codex, Cursor, Gemini CLI, Copilot, OpenCode