Software for making GMod videos on... Mac

My girlfriend is using Mac and she want to make videos. But even after hours of googling, we didn’t found any good programms. Do you know any good screen capturing software for Mac?
(Mac OS X Leopard)

Source Recorder

windows movie maker

Source recorder is broken for now.