proof-orchestrator - 协调跨接口的可审计证明工作证明自动化数学推理证明审计外部交接★ 3 · 更新于 2026-10-06协调本地证明搜索、经论证的外部交接、审计，以及内部、外部和用户接口中的用户决策。⚙ 协调本地证明工作⚙ 审计证明正确性⚙ 审计符号与来源
