Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows