Does anybody know if there is an API available that allows to create / generate / modify flash animations?

I think of something like the Ming project (http://www.opaque.net/ming/) which enables with the help of PHP to create dynamic animations.

Thanks in advance,
Niko.