21:03
2026-09-20
github.com
ai-agents
Complete Production Webapp in Lean
Developer Paul Butcher released a production web application built entirely in Lean 4, combining a TodoMVC implementation with passwordless sign-in, SQL migrations, OpenTelemetry telemetry, an LLM ass…