NyxFoundation / nyxis
git clone https://github.com/NyxFoundation/nyxis.git
v0.1.1 · 6d ago
A Lean backend framework that formally proves authorization safety for web apps whose handlers are written by AI agents.
Why you might care
Solo developers shipping AI-written web backends can review only a Cedar schema and policies, with a Lean kernel-checked proof covering authorization on every build. Handlers cannot perform IO or touch the database directly, and principal, resource, and time come from the framework rather than handler code. Still v0.1.1 and under active development; ASSUMPTIONS.md lists what is trusted outside the proof.
Star history (as recorded here)
GitHub topics
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 5d ago. Star deltas marked ~ are extrapolated from partial history.