Automated software engineering you can trust. We're hiring: codemetal.ai/careers
Boston, MA
- Tweets 17
- Following 40
- Followers 84
- Likes 31
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
2
5
136
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
1
1
5
146
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)?
3
6
212
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
2
5
125
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! 🙏 🙌
2
7
79
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
2
5
160