RecodeX 重构消息，开发者发布名为Llmll的新工具，其思路是让AI代理填充程序中的类型洞（typed holes），再由SMT求解器对填充结果进行校验，拒绝不正确的填充。该工具在Hacker News的Show HN板块发布，目前获得1个积分、0条评论。