当规范变得可执行且可复用时，编码代理的表现会提升
当天最有价值的工作将大语言模型（LLM）编码作为受控的工程流程。ReProAgent和TestAgent把仓库上下文与运行时反馈连接起来，DualVeri则将机器检查的证明与针对实际实现的测试结合起来。可复用的任务上下文也成为降低成本、提高完成率的实际手段。
主题概况
Reusable Skills
编码代理可靠性系统
编码代理团队可以通过将问题接收转换为失败后通过的测试、将反复出现的正确性断言编码为共享证明和基于属性的测试模板，以及在重复任务之间保留获批准的仓库上下文来提高可靠性。每项改动都可以先在少量真实维护任务上测试，再扩大采用范围。