Lasm

open-sourceNew

Write formally verified web apps in Lean

About

Open-source toolchain that runs Lean on Node, serverless, edge and the browser, so you can build web apps front to back in Lean and formally verify them.

Is this your tool?

Make sure builders find it. See Stackdrop Featured.

Feature this tool: $49/month Questions? Ask us

Review within 48 hours. Also a labeled spot in your category, a pinned week in New Drops and a newsletter mention. Cancel anytime by emailing hello@getstackdrop.com.

Claim this listing

The Drop

New AI tools for builders, in one short email.

One short email. Unsubscribe anytime.

Related tools

Action Gate for Claude Code

New

Dev tools

Make Claude Code ask before Slack posts, CRM edits, or deploys

paid#claude-code#hooks

Agent Pets

New

Dev tools

Your Claude Code and OpenCode sessions as pets that walk along the bottom of Chrome

paid#coding-agents#chrome-extension

anlyon.dev

New

Dev tools

A safety label for every MCP server tool before you install it

free#mcp#security

API.market

New

Dev tools

API marketplace with a hosted MCP gateway

freemium#api#mcp

Atelier

New

Dev tools

The studio your AI coding agents work in

paid#mcp#claude-code

Atlarix

New

Dev tools

Private AI workstation where every file edit waits for your approval

freemium#coding-agent#desktop