cedar 开源项目推荐（165 个）

permitio /opal

基于 Policy Agents（OPA、Cedar、...）的策略与数据管理、分发和实时更新

NyxFoundation /nyxis

Lean 后端框架，其授权安全性经过形式化证明。开发者只需编写 Cedar schema 和策略；处理程序构建在 Supabase Auth 与 PostgreSQL 之上。

cedar-policy /cedar-go

Cedar 策略语言的 Golang 实现

permitio /cedar-agent

Cedar-agent 是部署和运行 Cedar 的最简便方式

Firma-AI /openfirma

面向 AI 代理的运行时执行边界：本地边车，依据你拥有的 Cedar 策略对每次出站调用进行把关。确定性、调用级、热路径上无模型

jtomschroeder /cedar

用于构建可视化/交互式应用的 Rust 框架

trusted-remote-execution /trusted-remote-execution

沙箱化 Rhai 脚本执行引擎，对每次系统操作进行 Cedar 策略授权。

ThirdKeyAI /Symbiont

Symbiont 让团队构建生产级代理式应用，其中每个操作都受治理、每个工具都经校验、每个代理都有身份，且每个决策都留下审计轨迹。

vectimus /vectimus

面向 AI 编码代理的确定性治理。基于 Cedar 的策略引擎会拦截每个代理操作，并在执行前依据确定性规则进行评估。

go-ego /cedar

可高效更新的双数组 trie 的 Go 实现

cedar-policy /vscode-cedar

Visual Studio Code 的 Cedar 策略语言扩展

Pigius /awesome-amazon-verified-permissions-and-cedar

学习、使用和掌握 Amazon Verified Permissions（AVP）与 Cedar 的中心枢纽。

kabirnarang39 /wardline

面向 AI 代理的开源控制平面代理：为 MCP 及更多场景提供身份、策略、预算与审计

iann0036 /polai

Cedar 策略语言的词法分析器、解析器和求值器

ridi-oss /proxy-monster

面向 MySQL 与 PostgreSQL 的自托管数据库访问控制代理：血缘感知列掩码、Cedar 策略、故障关闭式拒绝、防篡改审计轨迹。

metadatacenter /cedar-project

用于所有 CEDAR Java 仓库的构建项目

anivar /decern

面向 AI 代理、人类和工作负载的确定性授权 + 防篡改审计——一种主体类型，安全不变量由 SMT 求解器（cvc5）进行机器检查，每个决策均可离线独立验证。纯 Rust。

liaoyanqing666 /siamese_neural_network_OfHSV

使用 VGG16 和孪生神经网络的 OfHSV 项目。非常简单。使用 VGG16 和孪生神经网络实现离线签名鉴别，极其简单

build-on-aws /bookstore-demo-app-with-authz

授权是构建应用和服务时的基础需求之一。了解如何借助 Cedar 和 Amazon Verified Permissions，为 Web 应用添加不简单的授权规则。

agentcordon /agentcordon

面向 AI 代理的自托管凭证中介：代理按凭证名称请求 API 调用；策略引擎作出决定；机密永远不会到达代理。