NyxFoundation/nyxis
Librería
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó ayer. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hoy.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Un framework de backend en Lean en el que el desarrollador escribe un esquema y políticas de Cedar, mientras que los handlers (que pueden haber sido escritos por agentes de IA) solo pueden invocar acciones de la capa de autorización. El kernel de Lean verifica una prueba formal…
Para quién es
Desarrolladores independientes que despliegan backends web escritos con agentes de programación con IA y necesitan garantías de autorización
Cómo usarlo
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar NyxFoundation/nyxis en mi proyecto. Sigue su README: https://github.com/NyxFoundation/nyxis. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
En el radar
Su puesto entre los 100 primeros del radar, día a día, con el n.º 1 arriba. Los huecos son días en que estuvo fuera.
Logros
- Mejor puesto en RepoAlerts: n.º 24, el 27 oct 2026
Recibe alertas de repos como este
Te escribimos cuando algo de Web e interfaz empiece a subir. Gratis, una vez por semana, solo lo que encaja.
21.402 repos de GitHub vigilados y ordenados cada hora. Cifras a 27 de octubre de 2026.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/NyxFoundation/nyxis?ref=badge)Repos parecidos
- nyacg/pagedb
Un motor de base de datos en Rust que mantiene una base inmutable en R2 como páginas de árbol B+, servida por un único Durable Object que carga solo las páginas que necesitan las consultas. Las consul
- aicodeking/leanrea
Un archivo de skill de agente de 8 KB que ofrece a los agentes de programación con IA reglas de enrutamiento y comandos de línea de comandos listos para ejecutar en ingeniería inversa de binarios, app
- browserbase/bell-stack
Una arquitectura de referencia y una aplicación de ejemplo para un asistente personal de IA que realiza tareas en nombre del usuario. Combina sesiones de navegador de Browserbase con automatización me
- azrielnan/artex-ko-main
Plataforma multiagente para pruebas de seguridad autorizadas e investigación de ingeniería inversa local. Integra orquestación de tareas, gestión de activos, grafos de exploración, registro de tráfico
- tunr-dev/tunr
Un conector y relé escrito en Go que permite a agentes de IA consultar bases de datos locales de clientes mediante permisos de solo lectura, con caducidad, aprobados por el cliente y registrados en au
- XinchengLabs/302api-developer-kit
Kit de desarrollo de código abierto para el servicio 302API, con documentación técnica, ejemplos de acceso en Python, Node.js y cURL, guías de configuración para DSH, Cherry Studio y Claude Code, una