skillsTrail of Bits Claude Code skills for security research, vulnerability detection, and audit workflowsATK7035DEF4452