Directory New drops Launch checklist SubmitAdvertise

Directory

Every tool, one search away.

279 AI tools across 13 categories.

Pricing

1 result

Lasm

Dev tools

Write formally verified web apps in Lean

open-source#lean#formal-verification

The AI stack for builders. Every tool you need to ship, and every new drop.

@stackdropai hello@getstackdrop.com

Categories

Vibe coding
App builders
Agents
Dev tools
Deploy & backend
Design to code
Writing
Image
Video
Audio
Gaming
Productivity
Research

Explore

All tools
New releases
Build with AI
Submit a tool
Advertise
AI Launch Checklist
Comparisons
Newsletter archive
About
Affiliate disclosure

The Drop newsletter

New AI tools for builders, in one short email.

Featured on

© 2026 Stackdrop. Some outbound links may be affiliate links: disclosure.