Ioannis,
In my case, I use a proxy for licensed commercial software (ENVI, MATLAB, STK, etc.) through a company maintained server and it works fine. However, most of the software asks for the proxy URL and port to use. Pixinsight appears to assume direct, e.g., no firewall, interface to the web and does not have the capability to use a proxy built in.
Charlie