Send a message to Get Lean