Как подводит итог Rumplin, вы можете получить файлы, которые Internet Explorer использует, чтобы определить, какой (если есть) прокси-сервер использовать для определенного URL-адреса.Затем вы можете прочитать эти файлы, чтобы решить это самостоятельно. Википедия с описанием файлов автоконфигурации прокси может помочь вам понять функцию JavaScript.
Что-то, с чем я только что столкнулся, и которое выполняет бит разбора, - pacparser .Он предоставляет библиотеку синтаксического анализа для C или Python, и пример, приведенный для выполнения того, что вы просите в Python, выглядит до смешного просто.
>>> import pacparser
>>> pacparser.init()
>>> pacparser.parse_pac_file('examples/wpad.dat')
>>> pacparser.find_proxy('http://www.google.com', 'www.google.com')
'PROXY proxy1.manugarg.com:3128; PROXY proxy2.manugarg.com:3128; DIRECT'
>>> pacparser.find_proxy('http://www2.manugarg.com', 'www2.manugarg.com')
'DIRECT'
>>> pacparser.cleanup()
>>>