How can I add the animations to the theme?

If you're using an OS 2.0 theme, you will find your Lotties in the theme customizer under the app blocks:

If you're using a legacy theme, you can copy and paste the code snippet of the specific animation in your product template code file.