Send a message to Lean Automatic