I just realized that badges have some characteristics of SMT Oracles. Although, I guess that repository is now gone. Too bad.