Formal

Formal 的官方站点是 formal.ai，从首页内容看，它主要提供智能体基础设施相关的 AI 能力。它的首页标题写着“Formal - Network security for AI agents”。

官网对产品的描述是：控制您的 AI 智能体 发送的每个数据包。Formal统一了VPN，PAM，SASE，LLM网关，和MCP网关组成一个执行最小特权内置的堆栈。（原文：Control every packet your AI agents send. Formal unifies VPN, PAM, SASE, LLM gateway, and MCP gateway into one stack that enforces least privilege inline.）

从首页其余段落看：网络堆积从地面上为代理时代而建。反向和前向的代理，不让代理人和人类掌握身份，执行精细的政策，在你的VPC里部署一个无国籍的二进制通过Terraform，Kubernetes，或Docker。通过 Formal 而不是直接连接到您的数据库。每个身份——工程师，BI工具，CI/CD管道，AI 智能体——都击中了代理，其中政策实时评价。没有应用程序更改，没有SDK。

说明：本页内容基于 2026 年 10 月对 formal.ai 首页的抓取整理，非官方文档，具体以官网为准。

• 代理人和人类的特权最少（Least privilege for agents and humans）
• 作为代码的安全性（Security as Code）
• 一个政策引擎，双向（One policy engine, both directions）
• 每跳一次都会有协议（Protocol-native at every hop）
• 每项请求中的身份（Identity on every request）
• 运行在您的基础设施（Runs in your infrastructure）
• 一个无国籍的二进制通过Terraform，Kubernetes或Docker在你的VPC中。大多数团队的路线在不到一个小时的时间内首先通车——Notion在几天内就保住了数百个数据…
• 官网提供开发者文档或 API 入口

结合官网描述，Formal 可以用在这些场景：

• MCP、工具调用、沙箱、记忆等 Agent 基础设施
• 把重复的多步骤任务交给 AI Agent 自动执行
• 使用 无代码 编辑器或写入 Rego 策略。设置遮蔽规则，访问控制，以及批准工作流。上线前用干燥剂测试。
• 每个查询，每个协议，都实时评估。完全能见度，自动合规，自动驾驶机上最不享有的特权。

上手提示：

• 记录 Agent 的执行日志，出问题时便于回溯。
• 涉及付款、发信、删除等不可逆操作时，保留人工确认环节。

主要面向：希望用 AI 自动化业务流程的团队与开发者；需要 API 或二次开发的开发者。

未找到公开价格信息，请以官网为准。