LeanFM Technologies is a Pittsburgh-based software-as-a-service company offering artificial intelligence modelling for HVAC systems.