Developed a registered Julia package which quantifies the redundancies in genome-scale metabolic networks and provides local sparse certificates which are both efficiently verifiable and interpretable