Who are Colimit's investors?

Colimit's investors include Vermilion Cliffs Ventures, Heavybit.

How much funding has Colimit raised?

Colimit has disclosed $2.4M raised across 1 round.

Where is Colimit headquartered?

Colimit is headquartered in Brooklyn, US.

Colimit

Brooklyn, US · Founded 2023 · Delaware corporation · 2 known investors

Find your way into Colimit

Your email: who you already know at Colimit, and who your contacts know
2nd- and 3rd-degree connections: people you know who worked, studied or invested with the Colimit team
Your LinkedIn: the connections who can make the intro for you

We rank every route by how warm it is, so you raise on warm intros instead of cold emails.

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. It also verifies that the generated implementation matches the specification.

AI & Machine Learning Deep Tech Developer Tools

Founders & leadership

Larry Wayne Diehl, Jr.Named on SEC filing

Board

Jesse Robbins Board directorFounder and Investor in AI Developer Tools

Investors · 2

Vermilion Cliffs Ventureslisted by Vermilion Cliffs VenturesNew York · $200K – $500Kvia Ashley Smith · inferred

HeavybitinferredSan Francisco · $500K – $5Mvia Jesse Robbins · board

How we know: board seat on SEC Form D · Not right? Tell us

Reported raises · per SEC filings

Form D private placements

$2.4M disclosed across 1 round · 2025

▶$2.4MraisedSep 2025 · 12 investors · Other Technology

Rule 506(b)

Officers, directors & promoters on the filing

Jesse RobbinsDirector
Larry Wayne Diehl, Jr.Executive Officer, Director

Offering amount: $2.7M
Amount sold: $2.4M
First sale: Aug 2025
Incorporated: Corporation, Delaware, 2023
Federal exemptions: 06b

Full filing on SEC EDGAR ↗

Source: SEC EDGAR Form D. Amounts as filed; amended filings shown once at their latest values.

Frequently asked questions

What does Colimit do?: 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. It also verifies that the generated implementation matches the specification.
Who are Colimit's investors?: Colimit's investors include Vermilion Cliffs Ventures, Heavybit.
How much funding has Colimit raised?: Colimit has disclosed $2.4M raised across 1 round.
Where is Colimit headquartered?: Colimit is headquartered in Brooklyn, US.