Midspiral is building the correctness layer for AI-generated software. The thesis is simple: humans define what should be built, AI handles implementation, machines guarantee correctness.

We build open-source tools that make this practical:

- lemmafit puts a verifier directly in the AI coding loop
- claimcheck narrows the gap between what a proof guarantees and what you asked it to guarantee
- lemmacore (coming soon) gives you a verified logic core at the speed of a prototype
- LemmaScript (tech preview) is a toolchain for verifying TypeScript via Dafny

We publish as we learn and build, including the ugly parts that don't work well yet.

Midspiral

Org chart

Teams

Offices