Smart contract analysis powered by AI