Verifieer alstublieft formeel uw Solana-programma's met Kani. Dit is in wezen de enige manier om voor te blijven op AI-penetratietesttools.