Over the past decade, the data stack has evolved, bringing new technologies and vulnerabilities. Nowadays, company data is scattered across every type of data store imaginable. This scattered data is also being accessed by numerous employees across the company. With the modern data stack growing more decentralized every year, it's hard to collect and control these sprawling data stores, so that consistent and commonsense rules can be applied to them all. Formal products enable real-time understanding of an organization's data schema, sensitive data storage, consumption across teams, and the ability to secure everything from one place. It allows for the design of access and encryption policies. Our aim is to be the operating system for secure data management. Formal provides a protocol-aware access proxy, supports discovery, categorization, and policy enforcement in data stores.