Colimit
Brooklyn, US · Founded 2023 · Delaware corporation · 2 known investors
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 LearningDeep TechDeveloper Tools
Founders & leadership
LW
Larry Wayne Diehl, Jr.Named on SEC filing
Board
JR
Investors · 2
.jpeg)
Reported raises · per SEC filings
Form D private placements$2.4M disclosed across 1 round · 2025
▶$2.4MraisedSep 2025 · 12 investors · Other TechnologyRule 506(b)
▶$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
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.