LemmaScript adds formal contract syntax (requires, ensures, decreases, invariants) directly into TypeScript so AI coding agents can be given precise specifications. When an agent produces code, the verifier checks the contracts; violations are fed back so the agent can correct the implementation before the code is accepted. This creates a tight feedback loop that improves code quality and catches logical errors such as incorrect arithmetic or state management that would otherwise slip through.
In the Developer Tools space, LemmaScript takes a focused approach. AI agents generating buggy code that passes visual review but violates logical requirements. LemmaScript is an open-source project aimed at developers. The project is open source (MIT). LemmaScript is available on the web and the command line.
midspiral builds and maintains LemmaScript, and the product first shipped in 2026. The project is developed in the open on GitHub with 66 stars and 492 commits in the last 90 days. Among its 5 catalogued features are Contract Syntax, Automated Verification, and Agent Feedback Loop.
Latest indexed changes and source events
midspiral/LemmaScript verified by the PulseGate indexer
Other apps tracked under the same category.
