Discovering cryptographic weaknesses with Claude