The backend for BruteHack