proof-orchestrator - 协调跨接口的可审计证明工作
协调本地证明搜索、经论证的外部交接、审计，以及内部、外部和用户接口中的用户决策。
标签
更新于: 2026-10-06能力
典型输入
典型输出
该技能可以做什么
- 协调本地证明工作
- 审计证明正确性
- 审计符号与来源
- 整理未解决义务
- 记录证明运行证据
- 请求用户决策
- 准备外部交接
- 跟踪证明运行状态
输入
- 定理或证明义务
- 定义与假设
- 符号和来源摘录
- 先前运行产物
- 用户授权与选择
- 可用本地工具和来源
- 经授权的外部适配器
输出
- 证明运行文件
- 本地证明尝试
- 外部简报
- 提供方交接记录
- 外部输出记录
- 正确性审计
- 经验证的最终证明
- 运行状态标签
- 用户决策请求
要求
- 可用的本地工具和来源
- 用户对重要操作的授权
- 用于发送请求的经授权外部适配器
- 调用 GPT Pro 所需的 call-gpt-pro