Here's the RTMP specification of Red5, a open source Flash media server: http://osflash.org/rtmp_os

A Twisted RTMP implementation is being developed at http://rtmpy.org