What it sells
Verifiable AI that proves AI-generated code is safe to use.
Funding history and coverage
| Round date | Stage | Amount | Investors | Source |
|---|---|---|---|---|
| 2026-08-13 | Seed | — | Kakao Ventures, FuturePlay | news.google.com |
| 2026-03-12 | — | $200M | — | news.google.com |
Profiles summarize public reporting and company websites. Business-model notes are MaxBC's reading of that material, not confirmed facts; unknowns are left blank rather than guessed. Updated 2026-10-12.