Formal
Access-control and network security proxies for enterprises governing employee and AI-agent access to systems and data
Highlights
- Young companyFounded 2024
- New on EvolcAdded 2026-11-11
Recent signals
What changed at Formal in the last 6 months, newest first. Each line links to its public source.
- 9 Nov 2026 Publishing · Restarted publishing: 7 blog or news posts in 30 days formal.ai
About Formal
Formal provides Endpoint and Connector proxies that inspect traffic and apply access policies for people and AI agents. Its platform includes privileged access management, LLM and MCP gateways, credential injection, resource discovery, and approval workflows.
Enterprises use Formal to control access to databases, APIs, infrastructure, model providers, and MCP servers. The company came out of stealth in November 2024 with seed funding led by Thrive Capital, with backing from Y Combinator and Abstract Ventures. It is based in San Francisco and hires engineering and go-to-market roles there.
Product: A network security platform with Endpoint and Connector proxies for policy enforcement, privileged access, credential injection, and auditing.
Jobs at Formal
More cybersecurity companies
Fortanix
Data and AI security software for enterprises protecting sensitive information across cloud and on-premises environmentsRemote-friendlyForter
Identity-based fraud prevention and payment optimization software for digital commerce brandsRemote-friendlyFutureFeed
Cybersecurity compliance software for U.S. defense contractors working toward NIST 800-171 and CMMC requirementsNew on EvolcGen Digital
Cybersecurity, identity protection and financial wellness software for consumers, families and small businessesYoung companyGrowingRemote-friendlyGhangorCloud
Autonomous data loss prevention platform that blocks sensitive data leaks to AI tools, email, cloud and SaaS for large enterprisesNew on EvolcGuidePoint Security
Cybersecurity consulting, engineering and managed security services for businesses and government agenciesNew on Evolc
Website technologies
Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.
Analytics
- Google Analytics 4High confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
- Google Tag ManagerHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
- Microsoft ClarityMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Integration code on pageinline script loader
Content delivery
- CloudflareHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Response headerserver
- Response headerserver
- Response headerserver
Hosting
- AWSMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Integration code on pageinline script loader
Marketing & advertising
- Google AdsMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Integration code on pageinitialization/configuration expression
- Integration code on pageinitialization/configuration expression
- Integration code on pageinitialization/configuration expression
Recruiting
- AshbyMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Page markupsoftware structure signature
- Page markupsoftware structure signature
- Page markupsoftware structure signature
Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.