项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 238
核心亮点
- Rust 实现，性能高且内存安全，适合底层治理
- 聚焦有界与收敛，从机制上防止智能体失控
- 提供证明生成，结果可审计，增强信任
不足之处
- 项目早期，文档和社区生态待观察
- 概念抽象，上手门槛可能较高
适用场景
- 企业级智能体自动化，需合规审计
- 复杂任务编排，需控制资源消耗
- AI 安全研究，探索可证明的智能体行为
替代项目
LangChain、AutoGPT、CrewAI
同类项目推荐
LinkWork
开源
把 AI 当员工，容器化部署，K8s 调度，安全可控
Open-source enterprise AI workforce platform — containerized roles, declarative ski···
hermes-desktop
开源
给自主 AI 代理装上可视化驾驶舱，看得见、管得住。
Desktop Companion for Hermes Agent
line-oa-mcp-ultimate
开源
用 AI 对话直接管理 LINE 官方账号，发消息、做营销、看数据，零门槛上手。
Talk to your LINE Official Account through AI — broadcasts, Flex & tappable Rich Me···
qveris-agent-toolkit
开源
让智能体轻松发现、调用和审计真实工具
Bring professional data and tools to the AI you already use: open-source MCP, CLI, S···
mcp
开源
让 AI 助手直接查改 Supabase 数据库
Connect Supabase to your AI assistants
awesome-openclaw
开源
照着做，快速搭出能聊天的个人 AI 助手
A curated collection of OpenClaw tutorials, skills, and use cases. Learn how to buil···
intelligent-audit-system
开源
让企业AI智能体每一步都有据可查、可控可审
AuditPilot: auditable enterprise AI agents for evidence-grounded workflows, governed···
houtini-lm
开源
把杂活交给便宜模型，省下 Claude 的 token 钱
MCP server that saves Claude Code tokens by delegating bounded tasks to local or clo···
eva
开源
一个文件搞定 AI 自动化，命令行直接跑，轻量又省心。
单文件智能体，Single-file zero-dependency AI agent for Linux/Windows ops