从快速了解开始，一步步深入 MAREF 的治理世界。
你的 Agent 正在替你闯祸——
而你根本不知道。
88% 的企业过去一年经历过 AI Agent 安全事件。不是 Agent 不听话，而是没有人给它立规矩。MAREF 是多智能体系统的「治理操作系统」——让每个 Agent 知道该做什么，不该做什么。
你的 Agent 已经在失控。
这不是假设。这是正在发生在真实公司的事。
问题不是 'AI 会不会安全'。是 '当你的 Agent 闯祸的时候，谁拦得住它？'。
装一个 MAREF，就像给 Agent 装了 8 道安检门。
你的 Agent 每做一个动作，MAREF 自动过检。
| 你担心的事 | MAREF 怎么解决 | 你的感受 |
|---|---|---|
| Agent 突然删文件 | 连续 3 次异常自动熔断 + 30 秒冷却 | 「它刚想动手，就被按住了」 |
| Agent 乱调用 API | 身份验明 → 权限核对 → 行为审计，0.3 秒 | 「我甚至感觉不到它在检查」 |
| 不知道 Agent 在干什么 | 不可变日志：每一步操作签名留痕 | 「翻开日志，它干过什么一清二楚」 |
| 合规检查过不了 | 国密 SM2/SM3/SM4，等保 2.0 就绪 | 「审计来了，报告直接导出」 |
以前你盯着 Agent 10 小时怕它闯祸。
现在你可以去睡觉。
不是买工具，
是买「下一个时代的话语权」。
当所有人都在造 Agent 的时候，真正值钱的不是 Agent 本身，而是让 Agent 不敢乱来的规矩。
全球唯一治理原生的 Agent 框架
不是安全附加组件。治理就是产品本身。
TLA+ 形式化验证
Lyapunov 收敛 + Sperner 完备性——不是「我们相信安全」，是「我们证明了安全」。
国密级密码学合规
SM2/SM3/SM4，等保 2.0 就绪。审计来了，报告直接导出。
别人在造 Agent，你在造 Agent 的「交通规则」。
觉得 MAREF 太复杂？先从 Lite 开始。
不需要你写代码、配状态机。一条命令，即刻治理。
docker run maref/lite 一条命令启动
12 条预配置治理规则 开箱即用
自动拦截高风险操作 不需要你定义「什么是高风险」
与风险扫描结果联动 体检发现问题 → Lite 自动针对性加固
六层架构 — 治理在中心。
应用层
/ Application多智能体框架集成层，兼容任何智能体框架。
编排层
/ Orchestration任务分解与跨智能体分布式事务协调。
治理层
/ Governance治理优先门控。所有智能体动作执行前必经此层。
安全层
/ Safety截图脱敏、输入过滤、文件沙箱、剪贴板清洗。
可观测层
/ Observability完整遥测、不可变操作记录和实时监控。
基础设施层
/ Infrastructure部署基座。Sidecar 注入、K8s 原生、Serverless 就绪。
每个工具调用。
每个决策。签名验证。
MAREF 位于你的智能体和它们接触的一切之间—— 拦截威胁、密码学签名每个决策、实时演进防御策略。
8 层纵深防御架构
红色攻击箭头从左进入，逐层穿透 — 在第 5 层安全门控被拦截
四项技术。一个保障：你的智能体安全。
Gray Code 状态机、8 层防御、自演进治理、国密级密码学。 随便选三个。第四个你不需要——因为已经覆盖了。
Gray Code 有限状态机
每步跳转汉明距离 = 1，数学可验证的治理状态转换
为什么选择 MAREF？
7 个关键维度 × 6 个框架的横评
| 维度 | MAREF MAREF v0.30.0 | LangGraph LangGraph | CrewAI CrewAI | AutoGen Microsoft AutoGen | OpenAI OpenAI Agents SDK | Anthropic Anthropic Tool Use | Manual Manual Governance |
|---|---|---|---|---|---|---|---|
| 形式化验证 TLA+/Coq 正确性证明 | 10 | 4 | 3 | 5 | 3 | 3 | 2 |
| 纵深防御 多层安全架构 | 10 | 5 | 4 | 5 | 4 | 4 | 3 |
| 零信任架构 智能体间无隐式信任 | 9 | 3 | 2 | 3 | 4 | 4 | 5 |
| Gray Code 状态机 汉明距离=1 治理 | 10 | 1 | 1 | 1 | 1 | 1 | 1 |
| 自演进 Lyapunov 收敛证明 | 10 | 2 | 3 | 4 | 1 | 1 | 1 |
| 国密算法 SM2/SM3/SM4 合规 | 9 | 1 | 1 | 1 | 2 | 2 | 3 |
| 全链路可观测 OpenTelemetry + 不可变审计 | 9 | 6 | 5 | 6 | 5 | 4 | 2 |
Lyapunov 收敛性证明
FNR -60%，200 轮自演进后的数学可证收敛
Agent 已经在替你干活了。
MAREF 确保它不会替你闯祸。
开源 · 递归演进 · 生产就绪 · Apache 2.0 · 4,300+ 测试 · 82% 覆盖率