项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-10-30 · 当前星标 ★ 293
核心亮点
- 引入 Lean4 形式化验证，记忆条目经过检查后才入库，降低错误知识污染
- 提供 MCP 数学工具与代数修复 Skill，开箱即可跑通验证-学习-复用闭环
- 附带公开挑战任务，便于横向对比和复现实验
不足之处
- 早期项目，星标约 293，生态与文档完善度有待观察
- 依赖 Lean4 等形式化工具链，环境配置门槛较高
- 目前聚焦数学与代数场景，通用领域迁移效果尚缺公开验证
适用场景
- 数学题求解后自动验证并沉淀解题规则
- 客服场景中把已验证的话术规则复用到新会话
- 研究可验证智能体记忆与知识增长的实验平台
替代项目
Mem0、Letta、LangGraph
同类项目推荐
FounderOS-DEMO
开源
一个人开公司，AI 当部门，仪表盘管全局
An open-source, single-operator business command center: run a one-person operated c···
autogen
开源
用代码编排多智能体，搞定复杂AI任务
A programming framework for agentic AI
narrator-ai-cli-skill
开源
让 AI 一键生成专业电影解说，赋能视频创作
AI 解说大师 — Agent skill；封装 narrator-ai-cli 供 Claude/Codex 等工具调用
intent
开源
一个仓库管住智能体后端、前端和 iOS 多端发布
Monorepo for the Intent platform — tracks intentd, cloudlands-fe, and ios as submod···
codexloom
开源
把零散 AI 对话变成可复用的领域专家团队
Turn Codex threads into an organization of long-lived domain agents.
open-terminal
开源
用 curl 把电脑变成 AI 可操控的终端
A computer you can curl ⚡
llm-wiki-newsroom
开源
把文档自动变成会自我更新的互联维基，告别过时知识库
Harness engineering applied to knowledge production: a self-evolving multi-agent new···
UnrealGenAISupport
开源
在虚幻引擎里一键接入 GPT、Claude 等大模型，快速打造智能 NPC 和生成式玩法。
Unreal Engine plugin for LLM/GenAI models & MCP UE5 server. OpenAI GPT-5, Deepseek R···
agent-skills-collection
开源
把常用AI操作打包成技能，让智能体开发像搭积木一样快
Curated collection of modular agent skills for LLM-based agents