LeanLLM：面向 Lean 4 应用的统一大语言模型 SDK

LeanLLM 是一款基于 LeanHttp 的 Lean 4 统一大语言模型客户端库，版本为 v0.1.0，运行时需 Lean v4.34.1 与 libcurl。它为 Claude、OpenAI、Gemini、DeepSeek 等模型提供统一类型接口，支持厂商直连 API、OAuth 会话、OpenRouter 及本地兼容服务。库内提供单轮问答、多轮对话、SSE 流式传输与工具调用功能。