Lean 4 生态补齐:LeanLLM 统一接入 11 家模型厂商与主流云平台
hargup13 · x · 2026-10-14
Theoric Labs 发布 LeanLLM——Lean 4 版的 LiteLLM，一个统一类型的 LLM 客户端库，底层由 LeanHttp 提供 HTTP 支持。
- 覆盖面广：支持 Claude、OpenAI、Gemini、DeepSeek、Kimi/Moonshot、Z.AI GLM、Qwen、MiniMax、Grok、Mistral 等主流模型；接入方式包括各厂商直连 API、订阅 OAuth 会话（Claude Code、OpenAI Codex/ChatGPT、Gemini Code Assist、Antigravity、GitHub Copilot、Grok Build）、OpenRouter、AWS Bedrock、Azure OpenAI、Vertex AI 以及本地 OpenAI 兼容服务器。
- 功能完整：工具调用、结构化输出、图片输入、流式响应等 LLM SDK 常规能力齐备，提供统一的类型化接口（Messages、ModelConfig、Tools）。
- 依赖 Lean v4.34.1，运行时通过 leanhttp 动态加载 libcurl。项目已在 GitHub 开源，作者称「要在 Lean 里把整个生态一块块建起来」。
「编程与Agent」频道最新
- Gemini 4 Argon + Blender MCP 一把过:纯 3D 文件做出飞龙「动画」,非视频生成 — sidahuj · 2026-10-14
- Llamaforge v0.16：给 llama.cpp 加控制面板，本地 Agent 引用必须逐字可查证 — Sleepybear2611 · 2026-10-14
- hexvero：工具目录仅 3k token 的二进制分析 MCP，同类需 51 万 — ImaginationVarious30 · 2026-10-14
- OpenAI Decisions API 被质疑：云端往返延迟与隐私是否可行 — WhichCardiologist800 · 2026-10-14
- Factory 工程师：第三方 agent 框架可胜过 Claude Code 与 Codex — matanSF · 2026-10-14
- 八人团队 AI 规则各写一份对不上,teamai 统一管理 Skills 与规则 — sujingshen · 2026-10-14