python video editing libs

[DavidM]

Hi,

Does anyone know of any python or python-wrapped libs for video editing?

My requirements:
 - open video files in any of the popular containers (avi, mov, ogg, flv
   etc) and all the popular codecs (mpeg3, theora, mpeg2 etc) and audio
   codecs (raw, wav, mp3 etc)
 - get an abstract video clip object on opening such a file
 - query the clip object to determine stuff like length, framerate, size
   etc
 - iterate through all the frames, and get a frame object with each frame
 - with a frame object, be able to access individual pixels, add graphic
   images (eg, via PIL), export frame to graphics file (eg jpeg)
 - with video clip object, be able to change framerate, insert/remove
   frames etc, and render out with desired a-v codecs and container
 - good well-documented API, preferably some usage examples

Does anything like this exist?

Cheers
David