Если так уж нужен красный майнер, можете накидать ссылок на них в гитхабе.
Я наверное смогу показать, где что нужно в них поменять и что куда вставить, чтобы майнер для красных появился.