★ 2
LeanLLM：面向 Lean 4 应用的 LLM SDK 开源
开发者发布 LeanLLM，一个面向 Lean 4 语言的统一 LLM 客户端库，支持 Anthropic Claude、OpenAI、Google Gemini、DeepSeek、Qwen、Mistral 等多家模型，并兼容 OpenRouter、AWS Bedrock、Azure OpenAI…
Hacker News – LLM19 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
开发者发布 LeanLLM，一个面向 Lean 4 语言的统一 LLM 客户端库，支持 Anthropic Claude、OpenAI、Google Gemini、DeepSeek、Qwen、Mistral 等多家模型，并兼容 OpenRouter、AWS Bedrock、Azure OpenAI…