Tectonic Defense: Code Metal Scores $80M OTA for WarMatrix
Code Metal’s $80 million U.S. Air Force Other Transaction agreement to advance WarMatrix — an AI-enabled modeling and simulation platform for wargaming and operational planning — built on the company’s provable-AI technology and validated at the GE 26 Benchmark Wargame.

Big day for the backend side of defense.
This morning, software-for-defense hotshot Code Metal announced that it’s won a $80M OTA to “advance WarMatrix, the AI-enabled modeling and simulation platform Code Metal built in partnership with the U.S. Air Force.”
“We’re really excited,” Code Metal CEO and co-founder Peter Morales told Tectonic. “The work that we’re focusing on [with WarMatrix] is really leveraging the core technology behind Code Metal, which is the ability to rewrite code, but generate proof that when you’ve rewritten that code, it actually maintained its intent, its behavior, and has any sort of new spec requirements that you need the code to have in its target environment.”
Read Full Article on Tectonic DefenseRelated News
Announcing the Code Metal Forge Hackathon 2026 — Operation Lost and Found
A three-day rapid-prototyping sprint, November 6–8 at BASE-X in Boston. Build alongside Special Operations Forces, first responders, academics, and deep tech innovators to solve a real-world search and rescue challenge — $18,000 prize pool. Sponsored by USSOCOM.
Introducing the Verified Code Translation Research Awards
Code Metal is funding university research in verified code translation, with as many as four awards, each up to $40,000, for work in formal methods for AI. Proposals are due October 8, 2026.