从现有信息看，这个关于Workbuddy和Codex的讨论里，明确提到二者虽都叫