PreFlight by ICME 是一款专为智能代理设计的自动化安全防护工具，旨在防止未经授权或违反策略的操作被执行。其核心理念是通过数学化的逻辑验证，在执行关键操作前对每一步行动进行严格审查，从而确保代理行为始终符合预设规则。该工具采用独特的 Automated Reasoning 技术，将自然语言规则转化为可计算的数学模型，并通过求解器给出明确的“是”或“否”判断，避免了传统方法中常见的置信度模糊问题。整个系统由三个紧密协作的工具组成：checkLogic、checkRelevance 和 checkIt，分别承担不同层级的验证任务，形成从逻辑一致性检查到具体策略合规性验证的完整防护链条。
核心功能特点
- 基于数学逻辑的确定性验证，提供无歧义的 SAT/UNSAT 结果
- 三层级防护体系：逻辑矛盾检测→政策相关性筛查→完整策略合规检查
- 免费与付费功能组合，支持细粒度成本控制与灵活部署
- 适用于多步规划、跨源信息整合及数值约束场景的实时校验
- 支持 SSE 流式响应，实现高效异步验证流程
适用场景
PreFlight 特别适用于需要高度可靠性和合规性的智能代理应用场景。在金融交易系统中，当代理尝试执行转账、支付或资金划转时，可通过 checkIt 工具确保每笔交易的金额、收款方等信息完全符合预设的风控策略，有效防范超额支付或向未授权账户转账的风险。对于客户服务类代理，若涉及发送邮件、处理用户数据或修改账户信息，checkRelevance 可快速判断该操作是否触及敏感变量（如外部通信、用户隐私字段），避免不必要的深度检查造成资源浪费；而 checkLogic 则能在代理制定复杂服务流程时，提前发现计划中的逻辑冲突，例如同时承诺满足相互矛盾的服务标准。此外，在企业内部自动化流程中，无论是批量删除文件、调用第三方 API 还是更新计费信息，均可通过这套工具链实现端到端的策略守护，确保所有自动化操作均在可控范围内运行。