nyxfoundation/nyxis

nyxfoundation/nyxis 是一个对 Cedar 策略下的权限保证进行形式化证明的 Lean 后端框架，最新版本为 v0.1.9。

GitHub 项目说明: A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.

星标

★ 318

复刻

13

语言

Lean

许可证

MIT

最新版本

v0.1.9