To prove that you have a lie algebra, you wave to show that your bracket is a bilinear operator, and also that the Jacobi identity holds: i.e given any arbitrary 3 operators A,B,C,
[[A,B],C]+[[B,C],A]+[[C,A],B]= 0. That would involve simple computations.
As for showing that it is semi-simple...