Proszę formalnie zweryfikować swoje programy Solana za pomocą Kani. To będzie zasadniczo jedyny sposób, aby wyprzedzić narzędzia do testowania penetracyjnego AI.