LeanAPI is a v0.1.0 API server framework for Lean 4, offering routing, request/response handling, middleware, authentication, and OpenAPI documentation. It provides type-safe endpoint definition with compile-time route validation and automatic input validation.