Mnehmos/mathcorpus code health