202 kinds of mistake caught

The checker knows 202 kinds of mistake and names each one with the line, the field and the fix.

Part of Measured, not claimed..

uzi@coverable.ai

The whole tree

The first language designed for AI to write.: Your model writes LMAT. A compiler checks every line before it runs.
AI writes code faster than anyone can review it.: Review is the new bottleneck.
Twice the code, twice the review: Measured across more than 10,000 developers by Faros AI.
Checked before it runs.: The model writes, the compiler checks, it runs.
One request, start to finish: A request, a refusal in the checker’s own words, a repair.
Real software, built on LMAT.: LMAT makes them work. The design is free.
Software: Accounting, an issue tracker and a design tool.
Games: Rocket-car soccer and a block world.
What you get when your model writes LMAT.: Six things that hold for every program.
Checked before it runs: 202 kinds of mistake, each named with the line and the fix.
It tests itself: Every button pressed and every form filled, as every user.
The same answer everywhere: It runs the same on every machine.
It can’t reach what it shouldn’t: No other customer’s data, no web addresses, nothing that runs forever.
Private by design: Each person sees only what they are allowed to.
No escape hatch: There is no way around the checks.
Built for agents too.: lmatfs, the storage layer for AI agents.
lmatfs: Rust, with Python bindings.
Measured, not claimed.: Counted from the LMAT repository on 5 October 2026.
202 kinds of mistake caught: Each named with the line, the field and the fix.
5,635 tests passing: Across the engine, the sandbox and the renderer.
36 attack programs run before every merge: Programs that try to break out of the sandbox or steal from it.
Same requests, before and after LMAT tested each app: 23 requests, September 2026: three broke, then none.
Who is building it: Two founders out of Carnegie Mellon.
The team: Uzi Isman and Jason Shen.
Talk to us.: We’re raising, and we work with AI companies.