Other than with a spoon you mean? You can use a small powerhead, close the lid and turn it on. I switches to Tropic Marin as the Coral Pro has a very high alkalinity.
I use Red Sea blue bucket, as it seems to be preferred over the Red Sea Coral pro. I wouldn’t want my alk that high.
Careful not to mix Red Sea salt for too long or it will precipitate. You can’t leave it overnight like many do with other salts. The best is to mix it until the water is clear, then use it.
I use the red sea coral pro, I put it in a 5 gallon bucket with a powerhead and heater, I let it mix for an hour up to overnight. It works fine for me.