Is 'agent server' a good name?

A user asks whether 'agent server' is a good name, listing 'agent OS,' 'agent' and 'agent kernel' as alternatives. Someone who uses 'company OS' replies that they'll likely keep using it, but thinks 'server' is a more appropriate name for a developer audience.