Weasel Overview | Claude Code Skill for Smart Contract Audits