PredictOS: O Framework de Código Aberto #1 para Mercados de Previsão