LeanHTTP 是 Lean 4 的 HTTP 客户端，可让您快速将外部 Web 服务集成到 Lean 项目中。先通过 `leanpkg add` 添加依赖，并按 README 示例执行简单的 GET/POST 请求。它适合原型和内部工作流，但在生产环境前请检查依赖健康和未解决的问题。