Agent 写的后端，最怕的就是越权漏洞悄悄上线。代码能跑、测试能过，权限窟窿却藏在某个 handler 里，等被利用了才发现。
nyxis 换了一个解法：它是一个 Lean 后端框架，你只写 Cedar 权限策略，handler 交给 Agent 写。构建的时候，Lean 内核会形式化验证有没有越权，验证不过就别想上线。
这套分工很干净：人定规矩，Agent 干活，机器验货。权限策略写清楚了，Agent 再能写，也绕不开你定的边界。
适合想让 Agent 写后端、又不敢放手的人。先拿它守哪个接口，用户数据还是支付，值得先想清楚。
正文完