Я посмотрел на ГитХабе, вообще эти чуваки — AdGuard —
https://github.com/AdguardTeam, выглядят как довольно вменяемые и активные товарищи. И то, что нет исходников как раз таки объяснимо — должен же я за что-нибудь им заплатить.
Ну и в целом судя по активности и адекватности документации, есть шанс что они все-таки смогли написать MiTM сертификатов не плохо.