Verifai currently does not directly support cross-compilers such as PhoneGap, Cordova, NativeScript, Qt, Capacitor, and React Native. However, we have heard good experiences from customers who have built their own bridge for a cross-compiler. The direct support of cross-compilers is currently not on our roadmap, but we monitor this continuously.