Skip to content

Code Metal

6 viewers · 30d

Total raised

$166.0M

+$123.0M this year

4 filings since 2025 · latest Options filed

Cumulative raised
LAST ROUND
Options
ROUNDS
4
INVESTORS
12
FOUNDED
2023
HQ
Boston, MA
SECTOR
Other Technology
EMPLOYEES
N/A
30D VIEWERS
6

AI overview

Updated

CodeMetal provides an enterprise software platform for verifiable code translation and optimization, focusing on AI-generated and legacy code. The company's technology uses neuro-symbolic verification and mathematical proofs to ensure code correctness, compliance, and safety, bridging the trust gap for deployment in mission-critical environments.

What sets it apart

The company's platform stands out by using neuro-symbolic AI to mathematically prove the correctness of code. This allows it to bridge the trust gap associated with AI code generation, enabling safe deployment in highly regulated and mission-critical industries like defense and automotive.

Funding history

4 rounds
OptionsJul 10, 2026
Form D
—$166.0M total
EquityMar 11, 2026
Form D
+$123.0M$166.0M total
EquityNov 12, 2025
Form D
+$36.5M$43.0M total
EquityJun 26, 2025
Form D
+$6.5M$6.5M total

Products

1 tracked

Edge Workflow and Operations Management Platform

AI Code Verification Platform

An enterprise software platform designed for the automated translation, portability, and optimization of code across various programming languages and hardware environments. It verifies both AI-generated and legacy code to ensure it is correct, performant, and ready for production, particularly for edge devices in safety-critical settings.

  • Mathematically proves code correctness using neuro-symbolic verification
  • Supports automated code translation between different programming languages
  • Optimizes code for specialized hardware and edge computing environments
  • Verifies AI-generated and legacy code for production readiness and compliance

Links

WebsiteSEC EDGAR filings