Provide total number of server devices based on Server device type category.

Devices[?deviceType.category == 'Server'] | length(@)