lemmascript

verification toolchain for TypeScript (Tech Preview)

LemmaScript case study of Pi: AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

LemmaScript case study

The prover proves the present; the seal protects the past. An append-only freeze for verified contracts.

LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks

LemmaScript case study of an app to find the time that works

chat with biomedical MCPs

LemmaScript case study of a game where the goal is to make two sides equal

LemmaScript case study of OpenCode: The open source coding agent.

LemmaScript case study

LemmaScript case study of hono: Web framework built on Web Standards

LemmaScript case study of a CLI to check star counts on GitHub

Reproducible Claude Code runs for the LemmaScript Dafny proof-completion benchmark

LemmaScript case study

LemmaScript case study of a core of "Guardians of the Agents" (Meijer, CACM 2026)

LemmaScript case study of node-casbin: An authorization library that supports access control models like ACL, RBAC, ABAC in Node.js and Browser

a formally-verified rate limiter for Hono written in LemmaScript

LemmaScript case study: split the tab, even

LemmaScript case study (using lemmascript-guard): verified admission control for agent tool calls

LemmaScript case study of an app to book slots offered per page by providers