项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 95
核心亮点
- 支持本地和云端多推理后端并行，可离线运行，部署灵活
- 真正无人值守，一次启动即可持续探索，适合长时间自动化研究
- 基于 Lean 4 形式化验证，生成的定理证明具有严格正确性保障
不足之处
- 文档/社区待观察
- 依赖 Lean 4 生态，对数学知识库的覆盖有限
适用场景
- 数学研究者探索新定理的自动化辅助
- 计算机辅助形式化证明的批量生成
- 科学发现中的自动推理与创新搜索
替代项目
GPT-f、LeanDojo、Mathlib4
上一篇：Myco
下一篇：superagentx
同类项目推荐
peerd
开源
在浏览器里跑全流程AI智能体，本地沙箱执行，点对点分享成果
The first AI agent harness native to the browser. A browser extension that runs a fu···
openabcode
开源
自动分配编码任务给最擅长的AI模型，提升代码质量
OpenABCode is a coding agent that dynamically routes development tasks to the best-s···
AgentDeck
开源
把 AI 编程代理的控制权握在手里，一键操控，多端可视。
Local dashboards and physical controls for AI coding agents — native 3D aquariums, ···
comfyui-mcp-panel
开源
用自然语言操控 ComfyUI，无需额外 API 费用，本地优先。
The local-first sidebar AI agent for ComfyUI — runs on your own Claude OR ChatGPT s···
DevDocs
开源
把技术文档塞进 AI 编辑器，边写代码边查，不用切窗口
Completely free, private, UI based Tech Documentation MCP server. Designed for coder···
illo-skill
开源
把文章变成系列印刷风插图，自带吉祥物角色包
illo skill — an AI agent skill that turns ideas and articles into original print-st···
Eventline
开源
像写 IFTTT 规则一样，轻松构建机器人事件处理流程。
Micro-framework for routing and handling events for bots and applications . IFTTT fo···
pdf-reader-mcp
开源
让 AI 看懂 PDF：结构化提取、表格 OCR、带页码引用，本地运行。
Any file → clean Markdown for AI agents: PDF, Word, PowerPoint, Excel, EPUB, HTML a···
jido_ai
开源
在 Elixir 里给 Jido 智能体装上 AI 大脑，轻松编排 LLM 推理。
AI integration layer for Jido agents with LLM orchestration and reasoning strategies···