Code Metal is the leader in automated software engineering you can trust for systems that can’t fail. Its verifiable code translation platform combines AI and formal methods to automate any code-to-code task, with independent verification to prove that translated code preserves the original behavior. The result isn’t code that probably works – it’s code that is provably correct. Customers including the U.S. Air Force, L3Harris, RTX, and Toshiba use Code Metal to modernize legacy systems, make trusted simulations AI-ready, optimize performance on real hardware, and move prototypes to production, fast. Founded in 2023 with offices in Boston, San Francisco, and Washington D.C., Code Metal is funded by Accel, Salesforce Ventures, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others.