Building operation agents that SSH into servers to diagnose and fix things