项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 231
核心亮点
- DAG 蓝图清晰管理证明任务依赖，支持并行执行与失败重试
- 多智能体（Claude/Codex）协同，自动生成代码与证明，减少人工干预
- 面向 Lean 4 深度集成，直击形式化验证自动化痛点
不足之处
- 早期项目，文档和社区生态待观察
- 依赖外部 AI 模型 API，可能产生成本与稳定性问题
适用场景
- Lean 4 形式化数学定理证明的自动化辅助
- 软件验证中需要多步骤证明的复杂项目
- AI 辅助编码与证明混合的研发工作流
替代项目
Lean Copilot、ProofGPT、Isabelle/HOL 的 AI 辅助工具
上一篇：skills
下一篇：jenkins-cli
同类项目推荐
python-reddit-youtube-bot
开源
自动抓Reddit热帖，AI配图配音，一键生成YouTube视频
Automated Reddit Youtube Video Bot
trigger.dev
开源
用 TypeScript 快速构建和部署 AI 代理与自动化工作流
Trigger.dev – build and deploy durable AI agents and workflows
codex-seo
开源
26套SEO流程一键跑，网站排名肉眼可见涨
Turn a page, draft, or SEO export into a sourced fix plan inside ChatGPT.
claude-video-kit
开源
一句话生成竖屏解说视频，从脚本到成片全自动
Agent Skill + Remotion pipeline: brief/script → review receipt → narrated 9:16 exp···
auteur
开源
像导演一样指挥网站开发，用AI生成分镜并自动拦截平庸设计。
The Claude Code skill that directs a website like a film. Commit-sheet, generated as···
wechatauto-replica
开源
用 Python 操控 Windows 微信 4.x，自动收发消息
Windows WeChat automation for Windows (non-web), wxauto replica supporting WeChat 4.···
lobster
开源
把多个工具串成一条流水线，Openclaw 一步调用
Lobster is a Openclaw-native workflow shell: a typed, local-first “macro engine” t···
nuphus-mcp
开源
让任意 AI 代理直接操作你的电脑屏幕和浏览器
Desktop automation MCP server — computer use for any AI agent: control screen, wind···
lighthouse-mcp
开源
让 AI 助手直接跑 Lighthouse，边测边改性能指标
Allows AI assistants such as Amp/Cline/Cursor/Claude Code/Codex/GitHub Copilot to us···