Formal is an AI governance and data security platform that enforces least-privilege policies across databases, APIs, infrastructure, and AI agents at the protocol level. Founded in 2024 and headquartered in San Francisco.