Discovering Cryptographic Weaknesses with Claude