theoriclabs/leanhttp — LeanHTTP: HTTP Client for Lean 4 may be useful when its README and activity match a concrete workflow

说明与用途

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

问题

LeanHTTP: HTTP Client for Lean 4 may be useful when its README and activity match a concrete workflow.

结果

Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.

证据

Discovered from Hacker News (github-mentions)

来源