goal-driven

Goal-Driven 是一个面向目标的多智能体协同框架，用于长期（数十至百小时）持续求解可验证的复杂问题。其核心采用主控智能体（Master Agent）与工作智能体（Subagent）协同机制：主控智能体定义明确目标与可判定的成功准则，并循环调度、监控和评估子智能体的输出，直至满足全部验证条件。技术特点是强调目标导向性、闭环验证驱动、自动重试与状态感知，不依赖预设流程或人工干预。适用于需长时间逻辑推演与严格结果验证的场景，如编译器实现、定理证明、数据库内核开发、EDA仿真及形式化系统构建等。