RecodeX 重构消息,Kepler利用Claude构建可验证AI用于金融服务,区分AI与代码各自擅长领域。