cd/entity/TodoMVC· home› entities› TodoMVC
grep -l @todomvc /news/*.json | wc -l → 1

TodoMVC

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

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…

// co-occurs with top 7 entities
Lean 4 1 Paul Butcher 1 HTMX 1 AWS Lambda 1 lean-mcp 1 lean-llmclient 1 lean-authentication 1
// topics top 4 topics
ai agents 1 agent protocols 1 developer tools 1 ai tools 1