用途：当用户分享定理证明、Lean 或形式化智能体仓库，希望只集成其中有用部分时，可将这些编排模式吸收进 Hermes 工作流。
主要能力模式：子目标树（把困难证明显式分解为可独立检查的子目标，并将其证明状态视为一等状态）；计划指南（先产生多个证明计划或进攻策略，规划器与证明器/执行器分离）；定理库（已证可复用命题存入持久、可查询的工件，使用规范命名与追加式或可审计更新）；公理库（临时假设必须显式、命名、可审查，不得藏在自由文本中）；工具/技能/插件分工（技能编码方法，工具执行确定性检查/搜索/统计，插件提供可选扩展面）；结构化反馈循环（编译器/LSP/检查器诊断以结构化形式进入修复循环，而非仅原始 stderr）。
Hermes 适配：除非用户明确要求，不安装外部运行时；先把工作流思路吸收进技能和仓库工件。定理类任务流程：写出目标陈述、列出候选计划、分解子目标、显式标记假设、运行确定性检查、若项目已有形式化存储则将已证可复用引理存入持久工件。建议工件：DEBUG.md 或 PROOF.md 记录证据链，docs/proof-plans/ 存放较大证明策略，仓库自带时使用项目本地定理/公理存储。
采用过滤：保留子目标树、可复用定理/公理库、多计划搜索、结构化工具/技能分工；拒绝或弱化引导安装器作为权威、提示内的隐藏假设、对单一厂商 CLI/后端的无条件依赖。
输出模式：说明吸收了哪些内容（规划、子目标、定理库、公理纪律或工具分工），并列出更新的显式工件或技能。
限制与陷阱：不要将假设当作已证事实；不要在未标记状态的情况下混合规划器输出与证明输出；不要让定理库变成未经审查的堆文件；当吸收工作流已足够时，不要强行安装。资料未提供价格、平台、安装命令等信息。