theoriclabs/leanhttp — Discovered from Hacker News (github-mentions)

Description and use

LeanHTTP is an HTTP client for Lean 4 that lets you quickly integrate external web services into Lean projects. Start by adding the dependency via leanpkg add and following the README examples for simple GET/POST requests. It’s suitable for prototypes and internal workflows, but verify dependency health and open issues before production use.

Problem

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

Outcome

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

Evidence

Discovered from Hacker News (github-mentions)

Source