Hacker News – LLM·19 天前★ 2
LeanLLM：面向 Lean 4 应用的 LLM SDK 开源
原文标题：LeanLLM: An LLM SDK for applications written in Lean 4
重要度 2/5 · AI 综合评估报道影响力与新鲜度，4–5 分为高价值资讯。
AI 智能摘要
开发者发布 LeanLLM，一个面向 Lean 4 语言的统一 LLM 客户端库，支持 Anthropic Claude、OpenAI、Google Gemini、DeepSeek、Qwen、Mistral 等多家模型，并兼容 OpenRouter、AWS Bedrock、Azure OpenAI 与本地服务。该 SDK 提供类型化接口、多轮对话与流式输出能力。
所属主题开源15
阅读原文 +0
AI 处理过程展开/收起
原始标题：LeanLLM: An LLM SDK for applications written in Lean 4
AI 中文标题：LeanLLM：面向 Lean 4 应用的 LLM SDK 开源
来源：Hacker News – LLM · 发布于 19 天前
分类：开源 · AI 重要度：★ 2（2）
标签：Lean 4 / LLM SDK / 开源 / 开发者工具
关键词：LeanLLM / Lean 4 / LLM SDK / 开源项目 / 大模型接入
AI 处理：2026/10/14 18:01:34 · 模型 deepseek-chat · 规则版本 2026-10-10.1
相关推荐
量子位·2 天前★ 4
DeepSeek 重磅开源 Agent 底座架构
AI 摘要DeepSeek 开源一套面向 Agent 的底座架构，据称 AI 已能自行定位 Bug 并提交 PR。该开源动作指向智能体工程化基础设施，可能影响 Agent 开发范式。
#开源
TechCrunch AI·3 天前★ 4
Mistral 开源万亿参数模型权重，主攻网络安全
AI 摘要Mistral 发布其万亿参数模型的权重，主打网络安全场景，称开放权重能让组织获得闭源模型无法提供的防御控制权。这是欧洲大模型厂商在开源路线上的又一次重要动作。
#开源
Hacker News·3 天前★ 4
Mistral 开源 Mistral Large 4（Le Chonk）权重
AI 摘要Mistral 宣布以开放权重形式发布 Mistral Large 4，代号 Le Chonk。该消息在 Hacker News 引发 410 分热度与近百条讨论，标志 Mistral 继续坚持开源路线。
#开源
量子位·7 天前★ 4
港科CMU联手岩山科技开源新模型，KV Cache砍99%吞吐提升6倍
AI 摘要香港科技大学、CMU与岩山科技联合开源新模型，通过将KV Cache压缩99%，实现单卡512路长推理并发、吞吐提升6倍。该成果显著降低长上下文推理的显存与成本压力。
#开源