@Code_Metal_AI
Account based inUnited States
About this account
- Account based in
- United States
- Connected via
- Web
Account-level information from X, not a live location or the device used for a specific post.
Automated software engineering you can trust. We're hiring: https://nitter.cf/t.co/fYN7m09OY6
Boston, MA
Joined February 2024
- Tweets17
- Following40
- Followers84
- Likes31
Working on formal methods, program equivalence, or verification? We want to celebrate your research and support what’s next 🚀
University faculty: apply for one of four Code Metal research awards of up to $40K each by Oct. 8.
ordnl.link/UYpAuGs
As the AI slowdown debate grows, we are seeing more demand from industries where software errors have serious consequences.
We’re helping teams across defense, finance, and automotive understand where human judgment matters, how AI fits their systems, and automate code translation and verification - and using formal verification to prove it.
Thanks to Aaron Mok at @inc for chatting with our CEO
@PeterMoralesX for this one!
ordnl.link/zZMbYOd
Code Metal retweeted
Excited to see people talk more openly about leveraging formal methods to validate software. At Code Metal, we deterministically autogenerate those conditions so that tools like Opus 5.5 can meet them.
Happy to see the market come alive here
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
Build something that could help bring someone home.
Join us Nov. 6–8 in Boston for Operation Lost and Found, a search-and-rescue hackathon with $18,000 in prizes.
Apply by Oct. 5: ordnl.link/YsqUHhI
Always great to be back with the @MassChallenge team in Boston! Thank you for inviting our CEO and co-founder @PeterMoralesX to speak with the latest cohort - and congrats to all in the program! 🙏 🙌
Code Metal retweeted
Big day for Code Metal. We’ve been awarded an $80M OTA agreement with the Department of War to advance WarMatrix, built with the U.S. Air Force, and bring AI to trusted modeling and simulation systems.
Thanks to Preston Fore at Fortune chatting with me about it. More ahead!
fortune.com/2026/08/14/code-…
Code Metal retweeted
Code Metal, a Boston-based firm, just landed an $80 million contract to modernize and AI-enable WarMatrix, the Department of War’s wargaming simulation environment, Fortune learned exclusively.
bit.ly/4xMfew1
Applications are now open for the Code Metal Forge Hackathon 2026!
We’re inviting students and technical builders to join us for a weekend rapid-prototyping sprint. This year’s challenge: Operation Lost and Found 🔦 🚁 ⛑️
A hiker goes missing in the backcountry. A wildfire forces a community to evacuate. GPS fails. Connectivity disappears and communications go silent.
What would you build to help find someone?
Teams will have 24 hours to build a working solution with support from expert mentors including U.S. Special Forces operators and deep tech innovators, and get access to cutting edge tech - real hardware, sensors, RF and wireless systems, and embedded compute.
Apply to join us November 6–8 at BASE-X in Boston for a chance to win $18,000 in prizes - and the top university team will also be considered for potential internship opportunities at Code Metal.
Registration closes October 5th. Learn more and apply here 👉 codemetal.ai/forge-hackathon
#CodeMetalForge
Code Metal retweeted
@PeterMoralesX, CEO of @Code_Metal_AI, and I talking about coding in the age of AI at the @NYSE
Turns out Peter actually still codes.
“The space is moving so fast, if you’re not in it… how good are my decisions going to be?”
Forward-deployed CEO is apparently a thing now.
Code Metal retweeted
Code Metal CEO @PeterMoralesX joins us at the @NYSE to talk about building verifiable AI-enabled code translation for mission-critical systems, an $80M Air Force contract, and going from a $250M valuation to $1.25B in just three months.
Full interview, we covered:
- What Code Metal is actually building
- A real-world look at Code Metal in action
- The $80M Air Force contract for
WarMatrix
- Going from a $250M to $1.25B valuation in three months
- Why raise another $125M while already generating revenue?
- What happens when AI gets better
- Why AI can't simply verify itself
- What happens to software engineering as AI develops
- Where Code Metal could be three years from now
- And... should we be scared of AI?
His answer to the last one: he's more scared of humans than AI...
Code Metal retweeted
ICYMI: Software-for-defense hotshot @Code_Metal_AI won an $80M OTA to advance and validate WarMatrix, the AI-enabled modeling, wargaming, and simulation platform the startup built with the US Air Force.
🔗 Read the full story in Tectonic at the link below
What the @Code_Metal_AI team is building matters: enabling verifiable AI code translation for hardware-constrained, regulated environments where reliability isn’t optional.
Proud to continue the partnership!
wired.com/story/vibe-coding-…
