看 MAREF 如何工作。

完整产品介绍。

19 秒快速了解 MAREF 做什么、为什么重要。给你的 AI 智能体装上治理系统。

90 秒动画拆解多智能体递归演进框架：身份、权限、审计到自进化防御，一层层展开治理系统如何兜住失控。

工程师视角技术口播：六层架构、运行时护栏、TLA+ 形式化验证——讲透 MAREF 为什么敢说「模型检验过它安全」。

什么是 AI Agent？为什么 Agent 需要治理？43 秒建立基本概念，适合刚接触智能体的朋友。

Meta AI 研究员 Summer Yue 的 agent 无视 3 次 STOP 指令，狂删数百封邮件。最后只能拔电源。真实事故。

CURL 关停运行 7 年的漏洞悬赏计划——95% 的提交是 AI 生成垃圾。开源社区不是被黑客攻破的，是被 AI 淹死的。

CodeRabbit 扫描 470 个 PR：45% AI 代码带漏洞，严重 bug 率是人类 1.7 倍，63% 开发者说修 AI 代码比自己写还慢。

88% 企业过去一年经历过 AI Agent 安全事件。MAREF 给每个 agent 一部「宪法」——治理，就是产品本身。

连续 3 次异常自动熔断 + 30 秒冷却。每次调用 0.3 秒过「身份→权限→审计」三道闸。以前盯 10 小时，现在睡觉。

每个操作签名留痕，不可变日志。审计来了？导出报告，完事。

输入消毒→工具审计→权限检查→沙箱隔离→安全闸门→策略树→威胁检测→遥测。纵深防御：一层失守，还有七层。

Gray Code 状态机：10 个状态，每次转换汉明距离=1，HALT 为吸收态。治理经过 TLA+ 模型检验，不是「我们相信它安全」，而是「模型检验过它安全」。

红蓝对抗自进化 + Lyapunov 式收敛监控。TLA+ 模型检验。不是觉得安全，是监控着安全。

SM2/SM3/SM4 国密算法内置。每个操作签名留痕，报告一键导出。

治理居中六层架构。通过 MCP + A2A 治理 LangGraph、CrewAI、AutoGen，以及 Claude Code、Cursor、Trae 等。

TLA+ 模型检验、纵深防御、零信任、Gray Code 状态机、自进化、国密、可观测。治理本来就得专门做。

docker run maref/lite——12 条预置治理规则，开箱即用。自动拦截高危操作，无需自己定义「什么叫危险」。

pip install maref。开源免费 Apache 2.0。4300+ 测试，生产可用。你买的不是工具，是下一个时代的话语权。