>Как испоьзовать proxy-сервер, не забивая его в настройки браузера, а через строку
>адреса?

Кроме написания своего патча для конкретного браузера  - никак.

>Я слышал, что такое возможно: надо сначала набрать адрес proxy,
>а потом то ли через слеш, то ли через двоеточие требуемый адрес.

Вполне вероятно что в каком-то браузере такое возможно, осталось выяснить в каком именно.