Выполните следующие шаги для активации прокси в браузере Opera на мобильном телефоне:
1. Откройте настройки приложения Opera.
2. Прокрутите вниз и найдите раздел "Advanced".
3. Нажмите на раздел с названием "VPN" или "Прокси".
4. Если эта функция отключена, включите ее.
5. Введите полные данные вашего прокси-сервера.
Что касается второго вопроса о том, как запустить релиз Opera Proxy для Android: К сожалению, релизов, пригодных для Android, нет в указанном вами репозитории на GitHub. Этот проект предназначен для использования на компьютере и представляет собой CLI-приложение (командная строка) для перенаправления трафика через серверы Opera.
Однако, если у вас есть какие-то знания в области разработки ПО и десктопа/сервера системы Unix, вы можете установить это ПО там и пустить через него трафик от своего Android устройства, указав его IP и порт в настройках прокси вашего Android устройства. Но это довольно сложная задача и требует специфических знаний.
Если вам необходимо использовать прокси или VPN на вашем Android устройстве, самый простой вариант - это использовать специально предназначенные для этого приложения из магазина Google Play.