Mnehmos/MathOS code health