来自 Hugging Face 的 AI 项目

Leanstral 1.5 119B A6B

mistralai · 工具包

Mistral 为 Lean 4 证明助手推出的开源代码智能体模型。它能证明定理、修复 Lean 代码，支持文本和图像，可通过 Mistral API 或你自己的 vLLM 服务器运行。

Seshat Agent

PCL-RSI-lab · 工具包

用一个会自我改进的编程智能体修复软件 bug，它从自己成功的运行中学习可复用的推理模式，适合做仓库级 bug 修复的开发者和研究人员。

TinyCodeAgent

Agents-MCP-Hackathon · 工具包

通过编写 Python、运行它并修复自己错误来解决任务的智能体，基于 TinyAgent 和 Qwen 模型构建，也可作为 MCP 服务器。适合智能体构建者和开发者。