Bitte verifizieren Sie Ihre Solana-Programme formell mit Kani. Das wird im Grunde die einzige Möglichkeit sein, um den KI-Pen-Testing-Tools einen Schritt voraus zu sein.