Is there anything on the market to repair head gasket?

As an emergency repair yes. The only permanent repair is to replace the gasket.