TypeSafe AI Secures $40.0

KhaosGuard

KhaosGuard is a deep-tech climate technology project emerging from the Technical University of Denmark (DTU). We develop advanced mid-infrared open-path laser systems for real-time detection and quantification of methane, nitrous oxide, and other greenhouse gases. Supported by DKK 17M in non-dilutive funding, the technology has reached TRL 5 and is advancing toward TRL 6. We are currently preparing a DTU spin-out and are actively seeking seed funding and a technical co-founder to support incorporation and first commercial deployments planned for 2026/2027.

Complir

At Complir, we’re using AI to make product compliance effortless. Compliance teams are under pressure like never before. Scattered product data, inconsistent reporting standards, and a constant stream of new EU regulations make it hard to stay compliant - and even harder to stay competitive. Many brands rely on outdated systems, external consultants, and reactive approaches just to keep up. We believe it’s time for a smarter way. Complir uses AI agents to automate complex compliance workflows, connecting scattered data, filling gaps, and surfacing risks before they become problems. Our platform helps brands stay ahead by handling everything from labeling and testing requirements to chemical risk assessments and documentation checks. By streamlining these tasks, we reduce time to market and free up teams to focus on supplier performance, product quality, and long-term risk reduction - the things that actually move the business forward By making compliance easier and more transparent, Complir also helps brands avoid fines, recalls, and reputational damage - while saving time and resources. We’re already working with major Nordic retailers to reshape how product compliance is managed. We’re just getting started, but the potential is massive. It’s time to modernize the backbone of retail.

VerifAIX, Inc.

Verifaix is transforming semiconductor verification with AI-powered technology purpose-built for today’s complex SoCs, chiplets, and protocol IPs.