RecodeX 重构消息,波士顿初创公司Code Metal完成1.25亿美元B轮融资,估值达12.5亿美元,由Salesforce Ventures领投,用于开发可验证代码翻译与优化平台。