Definition — Full Portfolio

Formal builds a stateless proxy binary that enforces least-privilege access control across 15+ wire protocols (Postgres, MySQL, MongoDB, Snowflake, SSH, Kubernetes, HTTP, MCP, and others), handling authentication, policy evaluation, data masking, and query auditing.

AI & Machine LearningCybersecurityData & InfrastructureDeveloper ToolsSan Francisco, US

Co-investorsABAbstract VenturesTHThrive CapitalY Y CombinatorBABasis Set Ventures

Primero connects legacy tools, records, spreadsheets, and internal APIs into a semantic layer and deploys AI agents and applications inside real business workflows, with an emphasis on auditability, data residency, and control.

AI & Machine LearningData & InfrastructureEnterprise SoftwareMexico City, MX

JMJosé Murillo(Co-CEO)inARAndrés Rosales(Co-CEO)inSBSantiago Buenahora(CTO)in

Co-investorsGEGeneral Catalyst8V8VCCOConvictionKAKaszek Ventures

Sequence Holdings is a permanent holding company that acquires, operates, and transforms businesses in the American service economy by embedding its own engineers and applying AI to core operations.

AI & Machine LearningEnterprise SoftwareNew York City, US

Alexander Rubin(Founder)in

Co-investors8V8VCAVAvenirCOConvictionLULux Capital

Applied Compute builds proprietary AI agents trained on enterprise-specific workflows and data that continuously improve through real-world usage.

AI & Machine LearningCloud ComputingDeep TechEnterprise SoftwareSan Francisco, US

Yash Patil(CEO)inRhythm Garg(Founder)inLLLinden Li(Founder)in

Co-investorsKLKleiner PerkinsNENeoABAbstract VenturesCOConversion CapitalLULux CapitalNENeo+9 more

Beam is a cloud platform for developers to build and ship AI products without managing infrastructure, servers, or containers.

AI & Machine LearningCloud ComputingData & InfrastructureDeveloper ToolsEnterprise SoftwareNew York City, US

EMEli Mernit(Founder)inLLLuke Lombardi(Founder)inAdam Eagle(Founder)Chinakrit Piamchon(Founder)Dan Mottice(Founder)Nattapat Chaimanowong(Founder)

Co-investorsALAlumni VenturesARArchetypeSOSoma CapitalUNUncorrelated VenturesY Y CombinatorABAbacus Capital Group+24 more

Cogent builds an AI-native vulnerability management platform that uses AI agents to detect exposure shortly after disclosure, prioritize risks by real exploitability and business impact, remediate through existing workflow tools, and generate natural-language reporting with audit evidence.

AI & Machine LearningCybersecurityEnterprise SoftwareSaaSSan Francisco, US

TBThanos Baskous(Founder)inVEVineet Edupuganti(Founder)inGSGeng Sng(Founder)inGGGeng Gng(Co-founder)in

BoardESEnrique Salem(Board Member (Partner & Managing Director, Bain Capital Ventures))inCRCorinne Riley(Board Member (Partner, Greylock Partners))in

Co-investors51515 VenturesARArtisanal VenturesBABain Capital VenturesGRGreylock PartnersLOLockstep Angel InvestmentsPAPaladin Capital Group

Footprint is a unified identity and privacy platform that gives companies tools to verify, authenticate, and secure identity, including one-click KYC backed by a cryptographic data vault.

AI & Machine LearningCybersecurityFintechSaaS

AGAlex Grinman(Founder)inEWEli Wachs(Founder)in

Co-investorsBOBoxGroupINIndex VenturesKHKhosla VenturesLELerer HippeauPAPalm Tree Crew InvestmentsQEQED Investors+10 more

Iru provides an AI-powered unified platform for endpoint management, identity, threat detection, and compliance automation serving IT and security teams.

AI & Machine LearningCybersecurityDeveloper ToolsEnterprise SoftwareSan Diego, US

APAdam Pettit(Founder & CEO)Wesley Pettit(Executive Officer, Director, Promoter)Daughters Mark(Director, Promoter)

PartnerWeston Reynolds· solo GP

Co-investorsB B Capital GroupGRGreycroftMAMango CapitalFEFelicis VenturesFIFirst Round CapitalFRFrontline Ventures+4 more

MetLife México is the local operation of the insurance company, offering life and health insurance products to individuals and families in Mexico through a network of agents.

FintechInsurTech

Co-investorsMEMetLife Investment Management8V8VCCOConvictionGEGeneral Catalyst

Ramp offers a finance platform that combines corporate cards, expense management, and AI-driven automation for receipt capture, transaction coding, and reimbursements.

AI & Machine LearningFintechSaaSNew York, US

KAKarim Atiyeh(Founder)inEGEric Glyman(Founder)inGLGene Lee(Founder)inScott Bulua(Executive Officer)inRahul Sengottuvelu(Chief Technology Officer)inWilliam (Will) Petrie(Chief Financial Officer)in

Co-investors1/1/1 Capital13137 Ventures8V8VCA*A*ALAlpha Wave GlobalANAnti+73 more

Pronto builds off-road autonomous haulage systems (AHS) designed for rugged industrial environments such as mines and quarries.

AI & Machine LearningMobility & TransportationRoboticsSunnyvale, US

BHBibhrajit Halder(Executive Officer, Director)in

BoardAAAlexei Andreev(Director)in

Co-investorsDGDG Ventures, Inc.EMEmbark VenturesFOFoundamentalMOMonta Vista CapitalAUAutotech VenturesBABain Capital Ventures+10 more

Salsa builds modern payroll infrastructure for financial software platforms and businesses.

Enterprise SoftwareFintechSaaSSan Francisco, US

John Kramer(Founder)inJBJuan Barroso(Founder)in

Co-investorsBEBetter Tomorrow VenturesEDEdison PartnersEVEvolution VenturesGRGreycroftONOn DeckSESemperVirens Venture Capital+2 more

Simile builds AI-driven behavioral simulations that model how customers, employees, or populations respond to change, letting enterprises test concepts, pricing, and messaging in a controlled environment before launch.

AI & Machine LearningEnterprise SoftwareMarketing TechBrooklyn, US

JSJoon Sung Park(Founder)inMBMichael Bernstein(Founder)inPLPercy Liang(Founder)LYLainie Yallen(Founder)inJames George(Executive Officer, Director)Alexander Porter(Executive Officer, Director)

Co-investorsA*A*BABain Capital VenturesINIndex VenturesCVCVS Health VenturesGRGreenoaksHAHanabi Capital+1 more

SafeHill offers SecureIQ, an AI-powered Continuous Threat Exposure Management platform that combines automated scanning with human ethical hackers to discover, validate, and prioritize real attack paths for security teams.

AI & Machine LearningCybersecuritySaaSLehi, US

RHReid Hiatt(Executive Officer, Director)inAustin Hale(Executive Officer, Director)

BoardChris Barcus(Director)Gregg Scoresby(Director)Ben Capell(Director)Bret Larsen(Director)

Co-investorsCHChicago Early Growth Ventures (CEGV)SEService Provider CapitalCOCoinbase VenturesEXEXPONENT FOUNDERS CAPITALFOFounders FundLULux Capital+2 more

Tactic is a New York-based crypto accounting software startup that reconciles on-chain activity into tools like QuickBooks.

Co-investorsCOCoinbase VenturesDYDylan FieldELElad GilEXEXPONENT FOUNDERS CAPITALFOFounders FundLULux Capital+2 more

TerraFirma develops AI-enabled software and autonomous robotics to accelerate physical infrastructure construction, making projects faster, cheaper, and safer through human-in-the-loop autonomy in planning, orchestration, and operations.

AI & Machine LearningConstruction TechRobotics

Guy Hands(Founder)Noah McGuinness(Founder)Noah Schochet(Founder)

Co-investorsBABain Capital VenturesBABanner VCGLGlade Brook Capital PartnersKLKleiner PerkinsRARavelin CapitalSASaga Ventures+3 more

tldraw makes an open-source, React-based SDK for embedding infinite-canvas collaborative whiteboard functionality into apps, alongside its own free whiteboard app.

Steve Ruiz(Founder)

Co-investorsSUSunflower Capital Management FundVIVillage GlobalAMAmplify PartnersCUCursor CapitalLULux Capital

Together AI builds a full-stack platform for production AI systems, serving teams that need to deploy and scale machine learning models reliably.

AI & Machine LearningCloud ComputingData & InfrastructureDeveloper ToolsSan Francisco, US

VVVipul Ved Prakash(Founder)inCZCe Zhang(Founder)inCRChris Ré(Founder)TDTri Dao(Founder)inPLPercy Liang(Founder)inVipul Prakash(Founder)

Co-investors13137 VenturesA.A.Capital VenturesALAlumni VenturesBRBrave CapitalBRBrilliant Phoenix CapitalCACambium Capital+42 more

Vooma builds AI-powered software for the freight and logistics industry, serving brokers, carriers, and 3PLs.

AI & Machine LearningEnterprise SoftwareLogistics & Supply ChainSaaSSan Francisco, US

JBJesse Buckingham(Founder)inMCMike Carter(Founder)inJacob Deery(Founding Engineer)Katie Goldstein(President)Max Levenson(Founding Engineer)Pedro Fuentes(Chief of Staff)

Co-investorsCRCraft VenturesINIndex VenturesNFNFI Ventures, LLCOPOperator StackSOSoma CapitalTHThe MBA Fund+5 more