# NyxFoundation/nyxis > Бэкенд-фреймворк на Lean с формально доказанной безопасностью авторизации. Разработчик пишет только Cedar-схему и политики, а обработчики может генерировать AI-агент; при каждой сборке проверяется, что никакая последовательность HTTP-запросов не превышает легитимные права. - Магнитуда: 5,1 из 10 — Ранний сигнал - Звёзды: 196 всего · +54 звезды по замерам 2026-10-26, 12:25–15:17 UTC, к вечеру ≈ 74 - Доверие к звёздам: рост звёзд выглядит естественно - Категория: Бэкенд и базы данных · Язык: Lean · Лицензия: MIT · Создан: 2026-10-26 · Последний коммит: 2026-10-26 - GitHub: https://github.com/NyxFoundation/nyxis · Страница: https://gitnova.dev/r/NyxFoundation/nyxis ## Чем пригодится - Собрать бэкенд с доказуемо безопасной авторизацией из Cedar-схемы и политик. - Позволить AI-агенту написать обработчики, а сборке — проверить их на соответствие утверждённым источникам. - Провести аудит авторизации, прочитав схему и политики и убедившись, что доказательство проходит. ## Почему он здесь - По замерам счётчика за 2026-10-26 (UTC), 12:25–15:17: 142 → 196 звёзд (+54). Это прирост за указанный интервал. - Расчётный прогноз на конец суток: около +73 звёзд; учитывает наблюдаемый прирост и предыдущий день. - Репозиторию 0 дней, а у него уже 196 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет. - Топ новых репозиториев за неделю: #117. - Около 26 форков в сутки — код забирают себе. ## Доверие к звёздам Рост звёзд выглядит естественно. Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду. ## Цифры - Форков: 6 - Issues и pull requests: 22 - Наблюдателей: 2 - В среднем за неделю: 74 в день - Обычный темп: мало истории (меньше двух недель) - Звёзд за последний час (по замерам): 17 - Последний релиз: v0.1.1 (2026-10-26) ## Звёзды по дням за 1 день (от старых к новым, сегодня — неполный день) 2026-10-26 … 2026-10-26: 54 ## Где замечен сейчас - Топ новых репозиториев за неделю: #117 ## Ещё в этой категории 1. **malisper/pgrust** — 3,4 · Взлёт · Бэкенд и базы данных · Rust · +15 звёзд по замерам 2026-10-26, 11:33–14:59 UTC, к вечеру ≈ 33 Переписанный на Rust Postgres, совместимый по протоколу и SQL-диалекту, с новым JIT-движком запросов, потоковой моделью и автоматическим управлением памятью. Полная карточка: https://gitnova.dev/r/malisper/pgrust.md 2. **twentyhq/twenty** — 3,2 · Ровно · Бэкенд и базы данных · TypeScript · +54 звезды по замерам 2026-10-26, 00:13–14:59 UTC, к вечеру ≈ 85 Открытая CRM-система на TypeScript как альтернатива Salesforce: объекты, поля и представления описываются кодом и версионируются вместе с остальным стеком. Рассчитана на технические команды, которым нужна настраиваемая CRM под свои… Полная карточка: https://gitnova.dev/r/twentyhq/twenty.md 3. **kividbio/kividb** — 3,2 · На пике · Бэкенд и базы данных · Rust · +38 звёзд по замерам 2026-10-26, 00:14–14:59 UTC, к вечеру ≈ 61 Redis/Valkey-совместимая in-memory база ключ-значение на Rust с многопоточным шардированным исполнением, встроенным полнотекстовым и векторным (FLAT/HNSW) поиском, протоколом RESP2/RESP3, Lua-скриптами и персистентностью через снапшоты/AOF. Полная карточка: https://gitnova.dev/r/kividbio/kividb.md 4. **flybrainlabs/node** — 3,1 · На пике · Бэкенд и базы данных · JavaScript · +42 звезды по замерам 2026-10-26, 00:15–15:18 UTC, к вечеру ≈ 75 Authority- и сервисные API для платформы flybrainlabs: обработка commit/reveal, координация полного replay, приватные артефакты, научные публикации, тикеты и учётные API. Собирается из нескольких репозиториев через workspace.py, включает… Полная карточка: https://gitnova.dev/r/flybrainlabs/node.md 5. **fastapi/fastapi** — 3,0 · Ровно · Бэкенд и базы данных · Python · +27 звёзд по замерам 2026-10-26, 00:14–15:02 UTC, к вечеру ≈ 49 FastAPI — веб-фреймворк на Python для создания API на основе стандартных type hints, с автоматической документацией OpenAPI и Swagger UI. Полная карточка: https://gitnova.dev/r/fastapi/fastapi.md --- Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества. Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз. Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории. Данные на 2026-10-26 15:20 UTC, обновление каждые 30 минут.