AI 事件专题★ 2
LeanLLM：面向 Lean 4 应用的 LLM SDK 开源
10-14 13:46 首发·1 家媒体·1 篇报道·持续 1 天·开源
开发者发布 LeanLLM，一个面向 Lean 4 语言的统一 LLM 客户端库，支持 Anthropic Claude、OpenAI、Google Gemini、DeepSeek、Qwen、Mistral 等多家模型，并兼容 OpenRouter、AWS Bedrock、Azure OpenAI 与本地服务。该 SDK 提供类型化接口、多轮对话与流式输出能力。