[Update] LemmaScript, Discord, BugBash, and more!
Hey, We have enough updates to warrant taking up room in your inbox. First up: LemmaScript. lemmafit is incredible for greenfield projects, but we wanted to...
New open tool: lemmafit
Hey, Today we’re excited to introduce the first dev tool that wraps the verification methodology we’ve been developing: lemmafit streamlines verification of...
New open tool: claimcheck
Hey there, For the Claude Code Hackathon (which we sort of unexpectedly got into last week), Nada built a nifty little tool that helps narrow the gap between...
New Post: The Intent Envelope
Hello, As we continue to push the envelope (no pun intended) on applying formal verification to a web dev workflow, one thing is becoming clear: flexibility...
New Post: Verified Multi-User Collaboration
Thanks for following along with what we're building at Midspiral.We just published the next post in our series: Verifying State & Reconciliation in...
First update from Midspiral (and a build story)
Hi! Thanks for your interest in what we’re building at Midspiral. We’re bringing formal verification into mainstream web development. This is the first...