Pkspxyc is the "smart" client to be used with the pks proxy server. more generally, it can be used as a hkp client with almost any pgp key server.