Formal

Formal 適用於需要控管 AI 代理程式與員工可存取哪些公司系統的資安、平台及工程團隊。它會透過部署在工作站、虛擬機器及代理程式環境中的 Endpoint，以及部署於公司基礎架構中的 Connector，來轉送流量。團隊可套用共用的存取政策，並區分人員與機器身分，包括代理程式代表他人行事時的情況。 政策可允許或封鎖請求、改寫或篩選流量、遮蔽敏感資料，並要求額外核准。Formal 可檢查並記錄提示、模型回應及 MCP 工具呼叫，也能管理資料庫、SSH 伺服器和 Kubernetes 的即時存取權限。它亦支援短效憑證、工作階段錄製、存取請求、核准工作流程，以及以程式碼管理政策。對於需要集中監督 AI 代理程式流量，並稽核生產系統特權存取的組織而言，Formal 可能是合適的選擇。

免責聲明：WebCatalog 與 Formal 並無任何隸屬、關聯、授權或認可關係，亦不以任何方式與其存在官方連結。所有產品名稱、標誌及品牌均為其各自所有者的財產。