用途：为预期自主工作数小时甚至数天的智能体（单独运行或作为管理多个并行工作者的编排者）编写、增强和评估启动提示词。核心方法是伪形式化任务简报，以形式化验证的严谨度用语言表达，因为多数难题没有机器可检验的成功条件。
主要能力：
- 伪形式化任务规范，含四个组件：定义（含退化情形）、精确成功判定（带作用域量词）、不计入结果清单（部分进展、特例、归约到另一未证命题、有界或计算验证、尽力而为的总结）、面向审核者的枚举失败模式。
- 长时运行简报结构：定义、成功判定、不计入结果、可解性框架、编排策略、交接契约、验证策略、报告契约、返回条件、努力下限、污染防护。
- 协调运行的交接契约：每个工作者的角色、指令、契约（须返回的具名产物与类型化检查）、调用顺序；检查以所排除的失败命名并类型化，置于可引入该错误的阶段，列出须拒绝的退化值，失败检查以召回方式回退给责任工作者。
- 并行搜索的结构多样性：早期工作者对当前偏好方案保持盲态，维护按底层思路分组的方法族登记表，停滞路线标记为阻塞，后期交叉授粉。
- 停止条件、努力与进度状态：显式努力下限、假设可解框架、以产物谓词而非智能体信心表述返回条件；外部维护的已验证进度台账每轮重新注入；进度声明须可追溯到工具结果或当前会话产物。
- 精简与结果优先：提示词承载结果、硬约束、证据来源与完成标准，路径留给模型；累积指令堆叠会带来损害。
使用方式：在启动长时自主运行前编写或审查提示词；把含糊难题转为含成功判定与不计入结果的显式简报；编写管理多个并行工作者的根或编排者提示词；添加持久化指令、停止条件、努力下限或返回门槛；编写委派工作者的输出契约与验收检查；诊断因简报导致的失败运行；构建启动前审查步骤。
适用场景：任何成功可精确陈述、失败模式可枚举的领域；已在数学领域的 Cycle Double Cover 提示词中示范（64 个子智能体编排）。
限制：持久化压力与宽松成功判定结合会产生自信的非解；并行采样提升发现正确答案的概率，但选择能力滞后，模型评审者系统性偏宽松；需为验证者投入与生成者同等的提示设计；将智能体间一致视为多样性失败信号；人类须定义哪些发现阻塞返回；关于定理本身：候选证明发布时无独立同行评审或形式化，提示词是此处关注的已验证产物而非定理；无公开消融实验分离哪些提示元素促成结果；厂商指导已警告过度规定性提示词会降低当前代模型表现。
关联技能边界：智能体拓扑、交接协议与协调机制属于 multi-agent-patterns；运行时控制面、锁定评估器、回滚、持久日志与审批边界属于 harness-engineering；评估器、回归套件与确定性质量门属于 evaluation；LLM 作为评审者的设计属于 advanced-evaluation；压缩、笔记与跨会话记忆机制属于 context-compression、memory-systems、filesystem-context；修改自身 harness 或提示词的循环属于 self-improvement-loops；远程沙箱与后台执行基础设施属于 hosted-agents。