Pattern: Implicit — all computation lives in ai2ai_rules.pltg. This notebook imports the pre-computed analysis and focuses on narrative, using footnote references to cite facts and derived metrics.
AI2AI is building the verification layer for AI-assisted software development. As LLMs generate more code, the need for formal guarantees grows proportionally. AI2AI's neurosymbolic approach — LLMs propose, symbolic engines prove — addresses this directly.
The company operates an open-core model comparable to GitLab's early trajectory: a widely-adopted open-source tool (4,200[1] GitHub stars, 215[2] contributors) that converts into enterprise revenue. With 812[3] teams already integrated into CI/CD pipelines, the distribution moat is real.
AI2AI has reached $2.8M[4] ARR growing at 340%[5] year-over-year. The revenue mix skews enterprise: 75.00%[6] of ARR comes from 6[7] enterprise accounts at $127,500[8] average ACV.
Gross margin stands at 80.00%[9][10], healthy for a cloud-delivered developer tool with some managed infrastructure costs. For reference, GitLab operated at similar margins pre-IPO, expanding as self-serve scaled.
The company holds $8.2M[11] in cash with 21.58[12] months of runway at current burn[13]. Post-raise, this extends to 68.95[14] months — ample time to reach the next milestone.
The unit economics are the strongest signal in this deal:
The JetBrains comparison is instructive: deep code intelligence creates high switching costs. Once a team's rule library is built on AI2AI's language, migration cost is substantial. This is visible in the 94%[22] gross retention.
The path to $10M ARR is built on three pillars:
Pipeline conversion. 12[23] enterprise pilots are active, with a historical 75%[24] close rate. Expected conversion: $1.4M.[25]
Account expansion. Existing accounts are projected to generate $1.2M[26] in expansion revenue over the next 12 months, driven by the 180% NRR dynamic.
Projected ARR. Combining current ARR, pipeline conversion, and expansion: $5.3M[27] projected in 12 months[28]. The remaining gap to $10M is achievable through continued new logo acquisition at current rates.
Daily engagement is strong at 51.79%[29] DAU/WAU[30⚠], indicating the product is part of daily developer workflow — not a periodic audit tool. Each active user processes 42.76[31] code reviews per month, and the platform handles 340,000[32] rule evaluations monthly.
The OSS community (215[2] contributors) provides a durable acquisition channel: 34% of new users discover AI2AI organically through GitHub. This mirrors Snyk's early flywheel — developer adoption drives enterprise demand.
At $55.0M[33] pre-money on $2.8M[4] ARR, the deal prices at 19.64x[34] ARR[35⚠]. Given 340% growth, 180% NRR, and strong enterprise traction, this is within range for comparable Series A rounds:
The 24.70%[36] dilution is standard for an $18M Series A.
Enterprise sales cycles average 4-6 months, creating lumpy revenue. The CTO is the primary symbolic engine architect — key person risk that should be mitigated through the planned engineering expansion (current 28,[37] targeting 42[38] in 12 months). Competition from Semgrep and GitHub Copilot is real but AI2AI's formal verification depth is differentiated.
Proceed at proposed terms. All quantitative checks pass[10][16][18⚠][20⚠][30⚠][35⚠][28]. The combination of exceptional NRR, proven open-source traction, and a clear path to $10M ARR makes this a compelling Series A. Revenue efficiency (2x[39] ARR per S&M dollar) and 1.55x[40] burn multiple indicate capital-efficient growth.