Least privilege, enforced at the wire-protocol level — on autopilot for humans and agents.

Joined May 2024
3 Photos and videos
NEW: UI editor for permissions! We released an abstraction layered on top of real code (Rego). It understands the grammar of the policy language and ties each visual element directly back to the correct spot in the source text.
156
Formal retweeted
2 Dec 2025
I'm a product-obsessed founder. Crafting a delightful product experience is my north star. Few companies embody that level of craft like @NotionHQ — and today I'm incredibly proud to share with the world our latest case study. @NotionHQ now secures 100s of datastores with Formal. I’m deeply grateful to the Notion security team for betting on us when we were still an early-stage company. We’ve learned so much along the way, and working with them has truly made our product better. @joinformal ❤️ @NotionHQ
8
8
24
4,073
2 Dec 2025
New Case Study: How Notion Secures Hundreds of Datastores with Formal We're excited to share how Notion - one of the world’s fastest-growing collaborative workspaces - partnered with Formal to re-architect data security at scale. joinformal.com/customer-stor…
91
17 Nov 2025
NEW: Query Suggestions Given a natural language search request, Formal provides a suggested query to filter logs, making Formal's already user-friendly interface even more accessible. It’s another way to make searching logs easier.
76
7 Nov 2025
It was an honor to sponsor Girl Dinner!
X GIRL DINNER WAS SUCCESS
7
17
881
17 Apr 2025
🤝
17 Apr 2025
Thank you to @JoinFormal for being a Silver sponsor at BSidesSF 2025! bsidessf.org/sponsors #bsidessf #BSidesSF2025 #infosec
5
3
847