What Code Metal does

Code Metal is a Boston-based, Delaware-incorporated AI software company founded in 2023 by Peter Morales and Alex Showalter-Bucher, both MIT Lincoln Laboratory alumni. The company operates a verifiable code translation platform that combines large language models with formal methods (program synthesis, SMT-based verification using solvers such as CVC5) to translate high-level source code (Python, MATLAB, Julia, C, C++, Java) into low-level, hardware-optimized target code (embedded C/C++, Rust, CUDA, HIP, OpenCL, VHDL, Verilog, MISRA C) while mathematically proving functional equivalence. Its core pipeline runs four stages — Divide & Conquer (static-analysis segmentation and translation planning), Instrument & Test (auto-generated full test suites with MCDC coverage and instrumentation), Translate & Verify (LLM-powered synthesis plus automated testing, type analysis, property-based testing, and formal proof), and Optimize & Benchmark (hardware-aware optimization and auto-repair) — and is delivered via the Code Metal Platform and a CodeMetal Plugin that integrates with standard IDEs.

The company primarily serves mission-critical enterprise and government customers. Named users include defense primes L3Harris, RTX (Raytheon), Boeing, and Collins Aerospace; the U.S. Air Force; automotive and industrial OEMs including a top 5 global automotive OEM, Robert Bosch, and Toshiba; and emerging edge-logistics operators X-Press Feeders and Tigris Systems. Primary use cases are code modernization (legacy Ada/COBOL/MATLAB to Rust/C++), safety-critical system certification, and code portability across heterogeneous chips (NVIDIA, AMD, Qualcomm Adreno/Hexagon NPU, Xilinx/Altera/Actel FPGAs). The company maintains formal research collaborations with UC Berkeley (Prof. Alvin Cheung) and UC San Diego (Prof. Loris D'Antoni, appointed the first Code Metal Scholar), and has published peer-reviewed work including LLMLift, Tenspiler/TensIR, MonoCoder, UniPar, and gpuFLOPBench.

Code Metal operates a quote-based enterprise sales motion with no publicly disclosed pricing, generating revenue through multi-year platform contracts, defense/government agreements, and strategic investor-channel partnerships. At the November 2025 Series A close the company disclosed it was "on contract to deliver eight figures in revenue" in 2025, and a separate eight-figure defense contract was secured in early 2026. Customers are acquired via direct enterprise field sales targeting defense, automotive, semiconductor, and aerospace; event-driven demand generation including the Metal Ops Smart City Hackathon for USSOCOM (March 2025); and inbound leads through the website contact form and "playground experience" CTA. The company has raised approximately $184M across pre-seed, seed, an SEC-registered exempt offering, Series A, and Series B, reaching a $1.25B post-money valuation in February 2026 led by Salesforce Ventures.

Name

Code Metal

Legal name

Code Metal Inc

Website

https://codemetal.ai

Company type

Private

Founded year

2023

Operating status

Operating

Headcount range

101–250 employees

Short description

Code Metal provides AI-powered verifiable code translation for mission-critical industries including defense, automotive, semiconductor, and aerospace. Its neuro-symbolic platform combines large language models with formal methods to translate code across languages and hardware targets while mathematically proving functional equivalence.

Ownership category

akta.pro rank

Product category

Verifiable Code Translation Software

NAICS

Coating, Engraving, Heat Treating, and Allied Activities (33281)

SIC

Services-Computer Programming Services (7371)

akta.pro primary industry

Business Rules & Decision Management Platforms (BRMS/DMN) (HDAEAKAG)

akta.pro secondary industry

Physical Design, DFM & Manufacturing/Mask Data Prep (HDAHAFAC)

Keywords

• Verifiable code translation
• AI code modernization
• Edge development platform
• Formal verification software
• Safety-critical code generation

Headquarters

HQ city

Boston

HQ country

United States

HQ region

North America

Offices4 records

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Marketing or Sales, Operations

Revenue model

1. Enterprise Platform Contracts: Contracted platform deployments to enterprise customers in defense, automotive, and semiconductor industries; the company stated it was 'on contract to deliver eight figures in revenue this year' as of November 2025, indicating platform licensing/professional services revenue tied to multi-year enterprise and government agreements.
2. Government Defense Contracts: Eight-figure defense contract recently secured (early 2026), reflecting revenue from U.S. government and defense primes (e.g., U.S. Air Force, RTX, L3Harris) for verifiable AI code translation and code modernization projects.
3. Strategic Partnership Revenue: Revenue generated through strategic commercial partnerships with edge deployment leaders including X-Press Feeders (world's largest independent container feeder operator) and L3Harris (defense contractor), as disclosed at seed funding.

Pricing tiers

Go-to-market motion3 records

Distribution channels4 records

Marketing channels7 records

Core offering

Code Metal is an AI-enabled platform that performs verifiable code translation and optimization for edge development and code modernization. It combines large language models with formal methods (program synthesis and SMT-based verification) to translate code between high-level languages (Python, MATLAB, Julia) and low-level hardware-target languages (C++, Rust, CUDA, OpenCL, VHDL, Verilog, MISRA C) while formally proving functional equivalence. Its four-stage pipeline segments code, auto-generates tests with MCDC coverage, translates and verifies functional equivalence, then applies hardware-aware optimizations to deliver production-ready, safety-critical code.

Product overview

Code Metal operates as a unified platform-plus-modules architecture. The core Code Metal Platform delivers verifiable AI-powered code translation for mission-critical industries (defense, automotive, semiconductor, robotics), translating high-level source code (Python, MATLAB, Julia) into low-level, verified, hardware-optimized code (embedded C/C++, Rust, synthesizable VHDL/Verilog, CUDA, HIP, ONNX, and DSLs such as PyTorch and TensorFlow). The CodeMetal Plugin serves as the IDE-side module that loads source code into the platform's transpilation workflow and lets users configure target hardware (CPUs, GPUs, FPGAs) and toolchains (ONNX, Vivado, ROOm). Together, the platform and plugin execute a four-stage pipeline — Divide & Conquer, Instrument & Test, Translate & Verify, Optimize & Benchmark — that delivers production-ready, formally verified code at the edge.

Differentiator

Problem solved

Functional benefit

Brands

• Metal Ops: Code Metal's hackathon program; the first edition, the 'Metal Ops: Smart City Hackathon,' was held in Boston on March 14-16, 2025 in partnership with USSOCOM.

Products and services

• Code Metal Platform

Quantifiable outcome

• Reduce manual coding time by at least 80%
• +8 more outcomes

Named customers9 records

Segments5 records

Ideal customer profiles3 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration3 records

AI capability7 records

Feature7 records

Partnerships

Seven partnerships are on record, tiered strategic technology partner, flagship research partner, flagship executive hire, flagship commercial deployment partner and flagship ecosystem partner.

• Qualcommstrategic technology partnerTechnology or Integration · 1 June 2026Code Metal's research benchmarks target Qualcomm's Adreno GPU (via OpenCL) and Hexagon NPU (via HVX intrinsics) on the Snapdragon 8750 Elite platform. The transpilation pipeline produces kernels matching or exceeding GGML's hand-optimized baselines on these targets.
• University of California San Diego (Prof. Loris D'Antoni)flagship research partnerStrategic or Co-development Partner · 1 May 2026Prof. Loris D'Antoni (Full Professor of Computer Science at UCSD) joined Code Metal as its first 'Code Metal Scholar' and continues in the Formal Methods group. Brings research in program verification, synthesis, specification-aligned LLMs (ChopChop, Constrained Adaptive Rejection Sampling), and synthesizing personalized compilers.
• Ryan Aytay (former CEO of Tableau)flagship executive hireOthers · 1 February 2026Joined Code Metal as President and Chief Operating Officer concurrent with the Series B close (February 2026). Brings decades of experience building enterprise technology businesses, including as CEO of Tableau and senior leadership at Salesforce, and will focus on scaling operations, commercial execution, and partnerships across defense, automotive, and mission-critical industries.
• NVIDIAstrategic technology partnerTechnology or Integration · 1 February 2026Code Metal's platform supports CUDA kernels (Nvidia's dominant GPU programming model) and offers verified transpilation away from CUDA to alternatives like OpenCL and HVX (Qualcomm). NVIDIA logo is featured on the Code Metal homepage alongside other major partners and customers.
• X-Press Feedersflagship commercial deployment partnerStrategic or Co-development Partner · 1 July 2024Strategic partnership for AI edge deployments in container feeder logistics; HICO Investment Group CEO Chris Hartnoll publicly endorsed Code Metal as 'transformational in designing, building, and delivering intelligence into our logistics network.' X-Press Feeders is the world's largest independent container feeder operator.
• University of California at Berkeley (Prof. Alvin Cheung)flagship research partnerStrategic or Co-development Partner · 1 December 2023Long-running research collaboration with Prof. Alvin Cheung's research group that produced the Tenspiler (arXiv:2404.18249) and LLMLift (arXiv:2406.03003) verified code transpilation systems — foundational IP underpinning Code Metal's platform.
• MassRoboticsflagship ecosystem partnerStrategic or Co-development Partner · 1 January 2017Code Metal is a resident startup of MassRobotics, the world's largest independent robotics hub headquartered in Boston. MassRobotics has expanded its Boston footprint to support the growing robotics and Physical AI ecosystem of 500+ Massachusetts robotics companies.

Scale indicators13 records

Recent moves7 records

Expansion highlights7 records

Direct peers

• Cursor (Anysphere): AI-native code editor and assistant that helps developers write, edit, and refactor code using LLMs. Closest direct peer to Code Metal in AI-augmented software engineering, but focuses on general-purpose developer productivity rather than verifiable translation for safety-critical systems.
• Sourcegraph: Enterprise code intelligence and AI platform (Cody/Amp) for large codebase search, refactoring, and code transformation at scale. Directly comparable to Code Metal's enterprise-focused code understanding and translation capabilities across large repositories.
• Codeium (Windsurf): AI code completion and IDE assistant (Windsurf editor) targeting enterprise developers with free and enterprise tiers. Direct peer in AI coding assistants at the IDE layer where Code Metal also delivers its CodeMetal Plugin.

Broad incumbents

• GitHub Copilot: Microsoft-owned AI pair programmer integrated into the GitHub platform with the largest installed base of AI coding users. Broad incumbent in AI code generation; a likely future competitor to Code Metal in verifiable translation once formal-verification features are added.
• Synopsys: Established EDA, verification, and chip-design software company whose Catapult HLS and verification suites compete with Code Metal's hardware-target code generation and formal-verification positioning for FPGA and ASIC workflows.
• Cadence Design Systems:

Emerging players

• Cognition AI (Devin): Developer of Devin, an autonomous AI software engineer that plans and executes multi-step coding tasks. Emerging AI-coding peer applying agentic workflows to code production; intersects with Code Metal's agentic translation engine.
• Replit: AI-powered cloud development environment that combines coding, deployment, and AI assistance for full-stack development. Emerging peer in AI-augmented software creation, with adjacent positioning in code generation and IDE-side workflows.
• Qodo (formerly CodiumAI): AI-powered code testing and quality platform (including formal verification-adjacent tools) that automates test generation and review. Emerging peer in automated test generation and verification, directly intersecting with Code Metal's 'Instrument & Test' and 'Translate & Verify' pipeline stages.

Others

• MathWorks: Maker of MATLAB and Simulink, the dominant high-level modeling environment that Code Metal translates from into C/C++/HDL. Comparable because the two compete for ownership of the high-level-to-low-level code generation workflow in automotive, aerospace, and industrial customers.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat6 records

Key risks6 records

Key highlights7 records

Customer concentration

• LinkedInlinkedin.com/company/code-metal

Revenue estimate

Valuation estimate

Number of profiles

Profiles11 records

Funding overview

Funding rounds5 records

Investors13 records

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A1 record

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Code Metal