Code Metal Hits $1.25 Billion Valuation with $125 Million Series B for Verifiable AI

Accelerating Verifiable AI Infrastructure

Code Metal announced today that it has secured $125 million in Series B financing led by Salesforce Ventures, valuing the startup at $1.25 billion. This milestone marks the company's emergence as a unicorn only two years after its inception. The funding will accelerate the development of its verifiable AI code generation platform, which is designed specifically for mission-critical industries where software failure is not an option.

To support this rapid growth, the company has appointed Ryan Aytay as President and Chief Operating Officer. Aytay previously served as the CEO of Tableau and spent nearly two decades in senior leadership at Salesforce. His expertise in scaling enterprise platforms will be central to expanding the company's reach within the defense, automotive, and aerospace sectors.

The core of the Code Metal technology is a neuro-symbolic approach that combines large language models with formal mathematical verification. While standard generative AI tools can produce code quickly, they often lack the accuracy required for high stakes environments. Code Metal provides a mathematical guarantee that the generated or translated code is functionally correct and ready for production deployment.

Current customers include the U.S. Air Force, RTX, and L3Harris, who use the platform to modernize legacy code and optimize it for specialized hardware. By translating older languages such as Ada or Fortran into secure modern languages like Rust, the platform helps military and industrial leaders manage technical debt at unprecedented speeds. This capability is increasingly vital as compute shifts toward edge environments and specialized chips.

Investors in this round also included Accel, B Capital, Smith Point Capital, and Shield Capital. The company plans to use the capital to scale its engineering capacity and broaden its commercial partnerships. As AI continues to reshape software development, Code Metal aims to establish the industry standard for verifiable and trusted code in the global infrastructure ecosystem.

Code Metal announced the close of its $125 million Series B financing today, bringing its valuation to $1.25 billion. The round was led by Salesforce Ventures with significant participation from Accel, B Capital, and RTX. This funding follows a rapid growth period marked by major contracts with the U.S. Air Force and L3Harris. The investment will be used to expand engineering capacity and accelerate the development of verifiable AI code translation. Source

The company also appointed Ryan Aytay, the former CEO of Tableau, as its new President and Chief Operating Officer. Aytay brings decades of experience from Salesforce and Tableau to help scale operations as the company enters a massive growth phase. He will work alongside founder Peter Morales to deepen relationships across defense and automotive sectors. This leadership shift signals Code Metal's transition from a technical startup to a major industrial software provider.

Code Metal addresses the trust gap in AI code generation through a unique neuro-symbolic approach. While large language models can generate code quickly, they often lack the mathematical proofs required for safety-critical hardware. Code Metal's platform ensures that generated code is verified and production-ready for deployment in aircraft, cars, and satellites. This capability is essential for mission-critical industries that cannot risk deploying unvalidated software.

The platform's adoption velocity has been notable, with deployment across programs of record for top-tier government and enterprise customers. Organizations like Toshiba and RTX use the technology to move between programming languages and optimize software for specialized chips. This process allows teams to improve portability and performance without compromising on accuracy. The company is now one of the fastest-growing software defense technology firms in the market today.

Looking ahead, Code Metal aims to become the foundational layer for AI-driven software development in regulated industries. The team is focusing on scaling its go-to-market strategies and expanding its footprint in the automotive and semiconductor markets. As compute moves toward the edge, the need for verifiable code translation will only increase across global markets. This Series B funding provides the necessary fuel to dominate this emerging category of trusted AI.