Formal is a protocol-aware reverse-proxy for datastores and APIs that helps security teams understand and control their data.