Forks of MINAUCE