LeanHttp: a libcurl-backed synchronous HTTP client for Lean 4
hargup13 · x · 2026-09-07
theoriclabs open-sourced LeanHttp, a sync/async HTTP client for Lean 4 backed by libcurl via a small C FFI. Its API reuses Std.Http's validated methods, URIs, headers, and statuses; HTTP error statuses are ordinary responses while transport failures get typed, stable categories. Sessions reuse a single libcurl easy handle to keep connections alive, with support for timeouts, bounded response bodies, redirects, and TLS policies. Available as a git dependency (v0.3.1).
More from coding & agent
- Building a Python interpreter in just 1024 bytes of C code — AustinZHenley · 2026-09-07
- After OpenAI Agent Incident, HAIDAA Builds a Shared Memory Graph for AI Agents — WrongTechnician · 2026-09-07
- Infinitty Pro wires Codex and Claude terminals into one collab channel, paid tier coming — jasonkneen · 2026-09-07
- Why Not Use a Cheap Watcher Agent to Catch Sandboxes Escapes Early? — rhaivn · 2026-09-07
- Microsoft and SJTU open-source Argus, an agent runtime that drives research for days — 机器之心 · 2026-09-07
- Hackathon on Sept 27 to probe open-source, personal, composable AI — floguo · 2026-09-07