To our knowledge, this is the first comprehensive study integrating proteomics and phosphoproteomics to systematically elucidate HR and formononetin’s anti-CRC mechanisms, and potential formononetin targets CA9 and MME were identified. Here, CA9 is linked to colorectal carcinoma.