About Code Metal

Meet the people, principles, and purpose behind work of consequence.

Our North Star

Code Metal is accelerating the path from code to metal with Provable AI.

AI has made code faster than ever to create. But in mission-critical systems, code cannot just be generated. It has to be translated, verified, optimized, and proven before it reaches hardware.

Code Metal closes that gap. We build Provable AI for systems that cannot fail: software that helps engineering teams move across languages, architectures, and targets without changing the behavior that matters. Our goal is to help critical systems adapt faster, operate more safely, and earn trust through proof.

Code that works, and proves it.

Values

Trust

We earn it through proof, not promises.

In environments where failure has consequences, trust can’t be assumed. It has to be built, tested, and proven in the real world.

Passion

We care deeply about hard problems.

Compiler design, formal methods, safety-critical systems — these aren’t checkboxes for us. They’re the kinds of problems we came here to solve.

Humility

We build better together.

The problems we take on are too complex for any one person to solve alone. We share context, challenge ideas, and stay open to being surprised. The best answers usually come from building on each other’s thinking.

Curiosity

We ask a lot of why, how, and what else.

Why does this work? How could it work better? What else are we not seeing yet? Curiosity keeps us learning from the work, from the problem, and from each other.