goal-helper - 将模糊任务转化为由证明驱动的可执行目标。

将模糊或反复失败的任务转化为具有主证明命令、明确完成标准、重试限制和状态快照的目标。