RecodeX 重构消息，E2e完成800万美元种子轮融资，资金将用于开发面向智能体编程（agentic coding）的验证层，并扩展其开源软件测试框架。