Formal (YC S20) — Take control of your data in real-time
Formal appears in Y Combinator's company directory in the Summer 2020 batch, listed 2020-08-25. Take control of your data in real-time..
Formal is a Y Combinator company in the Summer 2020 batch. Its directory entry describes it as: Take control of your data in real-time. The founder listed is Mokhtar Bacha (Founder) (Y Combinator directory entry, August 25, 2020).
Get an email when Formal changes status, grows its team or files a funding notice. One email first to confirm; nothing else until you click it. At most one a day, one click to stop. Free for up to 3 companies.
Example from a real report (our sample on Target): “In March 2026, Target announced a planned incremental $1 billion operating investment” Source: Target Corporation (press release)
The title and description the site itself served, answering 200, after redirecting from https://joinformal.com. Not a cached copy and not the company's directory entry — what was live when we asked.
Counted only where a thread links to this company's own site, announces it by name on that forum, or names it beside its own Y Combinator batch. A thread whose title merely carries the words is not counted — a name is not an identifier. More may exist than the one page of results read here. Hacker News is not us, and nothing above is our opinion of the company.
Mokhtar Bacha
Founder
At 17 Mokhtar Bacha became the youngest employee at ConsenSys, hired by Ethereum co-founder Joseph Lubin. There, he gained expertise in cryptography, consensus algorithms, and distributed systems.
Mokhtar launched Formal in 2022 with the mission to secure the world's data. Today thanks to an incredible team, we are proud to secure the data of customers like Notion.com, Ramp.com, and Gusto.com
Founders, titles and bios as the company published them. Photographs are our own copies of the ones on that record, so they do not break when the original link expires.
No investor is drawn from a Form D — the form states how many invested and never who. The one investor on this graph is named because a batch has exactly one.
Want the whole picture on Formal?
Example from a real report (our sample on Target): “In March 2026, Target announced a planned incremental $1 billion operating investment” Source: Target Corporation (press release)
A Full Report on Formal: verified, sourced, every claim cited, ready in a few minutes. See pricing.
What the Full Report on Formal covers
The Short Answer
Which Company This Is
What They Do, And How The Money Works
Who Runs It, And How To Reach Them
The Money: Funding, Valuation, Runway
Who Pays Them, And Who They Are Up Against
Warning Bells
Sources
12 cited sources found
Plus the sections for what you are deciding, which you pick after ordering.
You get an alert in MentionFox the next time this company shows up.
Is this you?
If you're behind Formal: acceptance into a YC batch is one of the few weeks a young company gets looked up by people who matter — investors, other founders, press. FoxPlug turns the commits, deploys, and releases you're already making into that story automatically, so anyone who looks finds something current. GetFoxChat puts a guide on your own site so the people YC's own page just sent you don't read one line and leave.
