Midspiral jobs and careers

About Midspiral

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.