NyxFoundation/nyxis
Library
Can I trust it?
Worth a closer look before you use it.
Warnings Check
Very new: it was created yesterday. Wait a little before installing it.
Stars from real accounts No data
We haven't checked its stars for fakes yet.
Active OK
Last change today.
Licence OK
MIT: you can use it for free, also in a commercial product. Keep the licence notice.
Quick checks from public data. They help, but they are no guarantee.
What it is
A Lean backend framework in which developers write a Cedar schema and policies, while handlers (possibly written by AI agents) can only call authorization-layer actions. The Lean kernel checks a formal proof that no sequence of HTTP requests lets an authenticated principal…
Who it's for
Solo developers shipping web backends written with AI coding agents who need authorization guarantees
How to use it
Ask your AI to set it up
Paste this into Claude, ChatGPT or your coding assistant.
Help me install and set up NyxFoundation/nyxis in my project. Follow its README: https://github.com/NyxFoundation/nyxis. Explain each step and check it is safe before running anything.
Star curve
On the radar
Its place among the radar's top 100, day by day, with #1 at the top. Gaps are days it was out of the top 100.
Records
- Best place on RepoAlerts: #26, on 27 Oct 2026
Get alerts for repos like this
We'll email you when something in Web & UI starts rising. Free, once a week, only what matches.
21,398 GitHub repos watched and ranked every hour. Figures as of 27 October 2026.
What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy
For maintainers
Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.
[](https://repoalerts.com/repo/NyxFoundation/nyxis?ref=badge)Similar repos
- nyacg/pagedb
A Rust database engine that keeps an immutable base in R2 as B+tree pages, served by one Durable Object that loads only the pages queries touch. Live queries push row changes to open views. Includes d
- aicodeking/leanrea
A single 8 KB agent skill file that gives AI coding agents routing rules and ready-to-run plain CLI commands for reverse engineering binaries, Electron apps and bundles, instead of an MCP server. It r
- browserbase/bell-stack
A reference architecture and sample app for a personal AI assistant that carries out tasks on the user's behalf. It combines Browserbase browser sessions with Stagehand automation, the Eve agent frame
- azrielnan/artex-ko-main
Multi-agent platform for authorized security testing and local reverse-engineering research. Combines task orchestration, asset management, exploration graphs, traffic recording, human approval, vulne
- tunr-dev/tunr
A Go-based connector and relay that lets AI agents query customers' on-prem databases through read-only, time-limited, customer-approved grants with audit logging. It also offers tunnels, app deployme
- XinchengLabs/302api-developer-kit
Open-source developer kit for the 302API service, providing technical docs, Python, Node.js and cURL access examples, client configuration guides for DSH, Cherry Studio and Claude Code, a framework-fr