# Code Metal

**Source:** https://geo.sig.ai/brands/code-metal  
**Vertical:** Developer Tools  
**Subcategory:** AI Code Translation  
**Tier:** Challenger  
**Website:** codemetal.ai  
**Last Updated:** 2026-04-14

## Summary

Code Metal raised $125M Series B led by Salesforce Ventures for its AI-powered, formally verified code translation platform converting legacy codebases between languages.

## Company Overview

Code Metal is an AI-powered code translation platform that converts legacy software between programming languages with mathematical verifiability. The company targets the multi-trillion dollar market of aging codebases that enterprises struggle to modernize, applying formal verification techniques to guarantee that translated code is functionally equivalent to the original.

The company raised $125 million in Series B financing led by Salesforce Ventures in 2026, reflecting strong enterprise demand as AI agents accelerate the pace of software modernization. Unlike traditional rewriting tools that require manual review, Code Metal's approach produces provably correct translations, dramatically reducing risk for organizations migrating off COBOL, Fortran, or other legacy stacks.

Code Metal's timing aligns with a broader industry shift: as AI-generated code proliferates and enterprises race to modernize, the demand for automated, trustworthy code migration tools is surging. The Salesforce Ventures backing signals strong alignment with enterprise Salesforce customers who manage significant legacy system debt.

## Frequently Asked Questions

### What does Code Metal do?
Translates legacy code between programming languages using AI, with mathematical verification that output is functionally equivalent to the input.

### How much has Code Metal raised?
$125M Series B led by Salesforce Ventures in 2026.

### Why is Code Metal notable?
Verifiable code translation addresses the multi-trillion dollar legacy modernization market with formal correctness guarantees — something no prior tool offered.

### What legacy languages does Code Metal handle?
COBOL, Fortran, and other legacy stacks that enterprises need to migrate off. Specific targets depend on customer needs.

### What does 'mathematical verifiability' mean for code translation?
Mathematical verification means Code Metal applies formal methods to prove that the translated code is functionally equivalent to the original — not just visually similar or passing test suites, but provably correct for all inputs within defined constraints. This is the key differentiation from AI code generation that produces plausible-looking but unverified output.

### How long does Code Metal take to translate a large legacy codebase?
Translation timelines depend on codebase size, language complexity, and verification scope. Code Metal processes large enterprise codebases with millions of lines — a project that would take a human team years to manually rewrite can be accelerated significantly, though enterprise projects typically involve a phased migration approach.

### Does Code Metal work with COBOL-to-Java translations for banking systems?
Yes. COBOL-to-Java and COBOL-to-Python are among the most commercially significant translation paths given the trillions of lines of COBOL still running in financial services. Code Metal's formal verification approach addresses the correctness concerns that make banks hesitant to trust AI-generated rewrites of business logic.

### What happens if Code Metal cannot verify a translated code section?
Code Metal's verification engine flags sections where equivalence cannot be mathematically confirmed, allowing engineering teams to review those specific areas manually rather than trusting the full translation blindly. This human-in-the-loop model is particularly important for safety-critical and compliance-sensitive logic.

## Tags

b2b, developer-tools, saas

---
*Data from geo.sig.ai Brand Intelligence Database. Updated 2026-04-14.*