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

lean-authentication

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 TodoMVC 1 HTMX 1 AWS Lambda 1 lean-mcp 1 lean-llmclient 1
// topics top 4 topics
ai agents 1 agent protocols 1 developer tools 1 ai tools 1