Возможно ли использовать Opera Mini Servers для моего собственного мобильного приложения (как их использует Opera Mini)? Для этого, насколько я понимаю, требуется знание их серверного протокола. Возможно, уже есть некоторые libs, разработанные уже ...Opera Mini Servers
Opera использует OBML в отличие от HTML, который представляет собой двоичный язык разметки Opera. Это проприетарный протокол, и несколько лет назад я не мог найти достаточной достаточной документации, чтобы начать разработку пользовательского клиента. Вы можете попробовать начать здесь http://dev.opera.com/articles/view/opera-binary-markup-language/
Вы также можете попробовать декомпилировать свой мини-браузер, написанный на Java, чтобы понять его больше.