Vermilion Cliffs Ventures — Full Portfolio

Aranya designs, deploys, and operates production AI infrastructure using clusterdOS, a self-healing distributed operating system that extends Kubernetes across the full stack to simplify infrastructure management for AI workloads.

AI & Machine LearningCloud ComputingDeveloper ToolsSan Francisco, US

Christian Bhatia Ondaatje(Executive Officer, Director)inABAryamika Bhatia Ondaatje(Executive Officer, Director)inSasivarnan Kanaghasalam Sathyapriya(Executive Officer, Director)in

Co-investorsASAsylum VenturesFIFirst Round CapitalFOFounder CollectiveUNUncommon Projects Capital ManagementBOBoxGroupPAParable Partners

Argilla develops open-source, data-centric software for building and improving AI and NLP models, with a focus on human feedback and data quality.

AI & Machine LearningData & InfrastructureDeveloper ToolsCarpesa, Valencia

Francisco de Asis Aranda Montes(Executive Officer, Director)DVDaniel Vila Suero(Executive Officer, Director, Promoter)inDVDaniel Vila(CEO)inPAPaco Aranda(CTO)inJAJames Alcorn(Director)inPaco Nathan(Director)

PartnerASAshley Smith· solo GP

Co-investorsABAbstraction CapitalCRCriteria Venture TechENEniac VenturesSASAV (Scale Asia Ventures)ZEZetta Venture Partners

Atomic is a distributed, agent-native alternative to Git that manages source code at the primitive level, adding semantic call graphs, code search, intents, attestations, and provenance through a single CLI.

AI & Machine LearningDeveloper ToolsSaaS

LFLee Faus(CEO & Founder)in

PartnerASAshley Smith· solo GP

Co-investorsMAMadrona Venture GroupSLSlow Ventures

Boston, US

Guy Eisenkot(Founder)

PartnerASAshley Smith· solo GP

Co-investorsDIDisruptive AIFUFusion VCAFAFG Partners

PartnerASAshley Smith· solo GP

Catio (Archie AI) provides an "Architecture IDE" that turns business goals and constraints into system-aligned architecture decisions, plans, and execution-ready specs, grounded in a team's live system.

AI & Machine LearningDeveloper ToolsEnterprise SoftwarePalo Alto, US

BBBoris Bogatin(Co-Founder & CEO)inTBToufic Boubez(Co-Founder and CTO)inVKVictor Kazakov(Co-founding Lead Engineer (Founding Engineer))inIMIman Makaremi(Co-founding Lead of AI)inASAmit Saurav(Co-founding Lead Engineer)in

BoardRRRaju Rishi(Director)in

PartnerASAshley Smith· solo GP

Co-investorsALAlumni VenturesCECelero Ventures Ltd.ENEniac VenturesGAGaingelsRRRRE VenturesLULudlow Ventures+3 more

Clarify builds a modern CRM platform that consolidates customer data from multiple sources, automates workflows, and provides insights to drive business growth.

AI & Machine LearningEnterprise SoftwareSaaSSales TechDover, US

PTPatrick Thompson(Founder)inOHOndrej Hrebicek(Founder)inAHAustin Hay(Founder)inPPPranav Priyush(CEO)

BoardMGMatt Garratt(Director)inZBZachary Bratun-Glennon(Director)in

PartnerASAshley Smith· solo GP

Co-investorsASAscend Venture CapitalESEssence Venture CapitalFIFikaGRGradient VenturesINInvariantes FundMAMadrona Venture Group+6 more

Colimit offers a coding agent for formal spec-driven development, guiding users to write formal specifications without prior experience, check specs for logical bugs, and generate code by combining compilers with LLMs.

AI & Machine LearningDeep TechDeveloper ToolsBrooklyn, US

Larry Wayne Diehl, Jr.(Executive Officer, Director)

BoardJRJesse Robbins(Director)in

PartnerASAshley Smith· solo GP

Co-investorsHEHeavybit

Confident Security provides a privacy-focused inference API and SDK for running AI models on confidential data, using confidential computing and an architecture based on the source-available OpenPCC (modeled on Apple's Private Cloud Compute).

AI & Machine LearningCybersecurityEnterprise Software

JMJonathan Mortensen, PhD(Founder)in

Co-investorsEXEx/AnteJAJanuary CapitalLILiquid VenturesRERebel FundY Y Combinator

Confident AI is a platform for evaluating, monitoring, and governing AI systems in production.

AI & Machine LearningDeveloper ToolsEnterprise SoftwareSan Francisco, US

JIJeffrey Ip(CEO)inKVKritin Vongthongsri(CTO)in

PartnerASAshley Smith· solo GP

Co-investorsRERebel FundY Y CombinatorFLFlex Capital PartnersJAJanuary CapitalLILiquid Ventures

CopilotKit provides an open-source framework and protocol (AG-UI) for developers to build and embed AI agents with rich, interactive user interfaces directly into applications, including web, Slack, and Teams.

AI & Machine LearningDeveloper ToolsSaaSIssaquah, US

ABAtai Barkai(Founder)inUBUli Barkai(Founder)in

PartnerASAshley Smith· solo GP

Co-investors9797212 VenturesABAbstraction CapitalDEDeep AcreFRfresh.fundGLGlilot Capital PartnersGUGurtin Ventures+3 more

East River Source Control builds source control and code management tooling focused on code review and tracking how a codebase evolves, positioning source control as infrastructure for developers.

Developer ToolsSaaS

PartnerASAshley Smith· solo GP

Fiveonefour builds tooling focused on agent experience (AX), helping developers ship software that AI agents can use effectively.

AI & Machine LearningDeveloper ToolsSaaSPortland, US

Timote Gelinas Delisle(Executive Officer, Director, Promoter)Chris Crane(Founder)inNJNicolas Joseph(Founder)in

BoardNLNan Li(Director)in

PartnerASAshley Smith· solo GP

Co-investorsFLFlybridge Capital PartnersMAMaterialized View Capital6 6 Dimensions CapitalDIDimension CapitalRIRidge VenturesSTStage 2 Capital

Formal Technology is building a new computing stack aimed at elastic, isolated, and globally available serverless execution, using formal verification and compilers.

Cloud ComputingDeep TechDeveloper Tools

PartnerASAshley Smith· solo GP

Freeplay provides a platform for software product development teams to build and maintain generative AI products using best practices in experimentation, iteration, and data management.

AI & Machine LearningDeveloper ToolsEnterprise Software

Eric Ryan(Founder)Ian Cairns(Founder)

PartnerASAshley Smith· solo GP

Co-investorsMAMatchstick VenturesNENext Frontier CapitalPRPreston-Werner VenturesRERenegade Partners

GenSX is a TypeScript framework and serverless platform for building AI agents and workflows using plain functions, with built-in infrastructure, observability, and tracing.

AI & Machine LearningCloud ComputingDeveloper Tools

PartnerASAshley Smith· solo GP

Co-investorsAMAmplify Partners

Osmosis is a reinforcement fine-tuning platform that provides reinforcement learning infrastructure to help developers build and deploy AI agents that improve from experience.

AI & Machine LearningData & InfrastructureDeveloper ToolsEnterprise Software

KZKasey ZhanginABAndy Baiqing Lin

PartnerASAshley Smith· solo GP

Co-investorsMAMatteo Franceschetti

Hyper provides AI-generated meeting summaries that turn long discussions into concise recaps highlighting key decisions and open questions, including AI transcription of calls.

AI & Machine LearningFuture of WorkSaaS

PartnerASAshley Smith· solo GP

Co-investorsENEniac VenturesVSVSC VenturesGRGreatPoint VenturesK5K5 GlobalRIRipple VenturesTUTusk Venture Partners

Keycard provides infrastructure for AI agents to operate safely and securely in production environments, enabling developers to connect agents to services across multiple clouds while maintaining identity, policy, and audit controls.

AI & Machine LearningCloud ComputingCybersecurityDeveloper Tools

ILIan Livingstone(Founder)inMCMatthew Creager(Founder)inJHJared Hanson(Founder)in

PartnerASAshley Smith· solo GP

Co-investorsACAcrew CapitalANAndreessen HorowitzBOboldstart venturesESEssence Venture CapitalEXExceptional CapitalMOModern Technical+2 more

Lemma provides production monitoring and observability for AI agents, surfacing failures, aggregating issues, and enabling quick resolution through integrated alerts and context-sharing tools.

AI & Machine LearningDeveloper ToolsEnterprise SoftwareSan Francisco, US

JZJerry Zhang(CEO)inCGCole Gawin(CTO)in

PartnerASAshley Smith· solo GP

Co-investorsEIEight CapitalIRIrregular ExpressionsLYLyra Capital Pty LtdY Y CombinatorADAdapt VenturesCECervin+9 more

Mach9 builds automated feature-extraction software for transportation, telecom, and construction industries, enabling rapid extraction and mapping of large-scale infrastructure projects.

AI & Machine LearningConstruction TechData & InfrastructureDeveloper ToolsEnterprise SoftwareRoboticsSan Francisco, US

ABAlexander Baikovitz(Founder)inHSHaowen Shi(Founder)inMichael Mong(Lead Hardware Engineer)ZSZachary Sussman(Lead Software Engineer)inJaime Suarez Marquez(Executive Officer, Director)Marian Salzman(Director)

PartnerASAshley Smith· solo GP

Co-investorsFLFlexcap VenturesLOLocus VenturesSOSoma CapitalWEWestway CapitalY Y CombinatorCACarnegie Mellon University+7 more

Number Zero is an open R&D organization building software for efficient distributed systems, including iroh, a toolkit for building distributed applications.

Data & InfrastructureDeep TechDeveloper ToolsBrooklyn, US

Brendan O'Brien(Executive Officer, Director, Promoter)

PartnerASAshley Smith· solo GP

Co-investorsEXEx/Ante

PartnerASAshley Smith· solo GP

Co-investorsFOFoundation CapitalVEVela PartnersESEssence Venture Capital

Red Barn Robotics develops autonomous weeding robots for farms to eliminate intra-row weeds without human intervention, reducing labor costs and protecting soil health.

Advanced ManufacturingAgTechHardwareRoboticsSeattle, US

AIAdam Iseman(CEO)inIKIlya Kelner(CTO)inANAlex Neff(COO)in

PartnerASAshley Smith· solo GP

Co-investorsPIPioneerRERegion CuatroY Y CombinatorAGAgrolimen VenturesALAliaksandr HudzilinBABatch Ventures+5 more

Sequin is an open-source Postgres change data capture tool, distributed as a Docker container, that streams database changes in real time to destinations like Kafka, Redis, SQS, GCP Pub/Sub, Elasticsearch, and webhooks with exactly-once processing and strict ordering.

Cloud ComputingData & InfrastructureDeveloper Tools

PartnerASAshley Smith· solo GP

Co-investorsPAParadigm

Staris provides automated penetration testing and vulnerability validation for security consultants and partners, delivering proof-of-exploit findings with PR-ready patches rather than unverified scanner output.

AI & Machine LearningCybersecurityDeveloper ToolsEnterprise SoftwareSaaSSeattle, US

ACAdam Cecchetti(CEO / Co-founder)inAustin Fath(CTO / Co-founder)inJohn Austin Talanda Fath(Executive Officer, Director)Daniel Herrera(CISO)SCSteve Curtis(Chief Revenue Officer (CRO), Advisor)in

BoardMPMaria Palma(Director)in

PartnerASAshley Smith· solo GP

Co-investorsKIKindred Capital

StarSling builds AI-native continuous integration for GitHub Actions, providing fast runners and agents that analyze workflows, logs, and telemetry to automatically open pull requests optimizing CI pipelines.

AI & Machine LearningDeveloper ToolsEnterprise SoftwareSaaSSan Francisco, US

YBYonas Beshawred(CEO)inDWDaniel Worku(CTO)in

PartnerASAshley Smith· solo GP

Co-investorsY Y CombinatorEIEight CapitalOUOutset CapitalTRTranspose Platform ManagementBABatch VenturesBEBessemer Venture Partners+3 more

Sutro provides a backend infrastructure platform that enables developers to define and deploy production-grade backends through a domain-specific language called SLang.

Cloud ComputingDeveloper Tools

PartnerASAshley Smith· solo GP

Tadata is an AI agent platform that integrates into Slack to automate research and repetitive work by connecting to business tools like CRM, marketing, and ops systems.

AI & Machine LearningEnterprise SoftwareSaaS

TSTori Seidenstein(Founder)in

PartnerASAshley Smith· solo GP

Co-investorsGRGreatPoint VenturesRARackhouse Venture Management Lp

Tillion offers an AI tool that answers questions across large sets of documents, providing responses linked to their source material.

AI & Machine LearningFintechLegalTechSaaS

LRLior Romano(Founder)inBarak Naveh(Founder)in

PartnerASAshley Smith· solo GP

Co-investorsKIKindred CapitalUPUpWestSESelah Ventures