# theorem-labs/oss-verify-proofs

> Rocq-доказательства того, что fuzz-цели OSS-Fuzz для 25 библиотек (OpenSSL, zstd, simdjson и др.) не вызывают ошибок санитайзеров ни на одном входе в заданных пределах; проверяются на скомпилированных RISC-V бинарниках через модель процесса Linux LPS.

- Магнитуда: 4,3 из 10 — Ранний сигнал
- Звёзды: 128 всего · +6 звёзд по замерам 2026-10-24, 13:51–18:41 UTC, к вечеру ≈ 10
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Безопасность · Язык: Rocq Prover · Лицензия: MIT · Создан: 2026-10-22 · Последний коммит: 2026-10-23
- GitHub: https://github.com/theorem-labs/oss-verify-proofs · Сайт: https://theorem.dev/oss-verify/ · Страница: https://gitnova.dev/r/theorem-labs/oss-verify-proofs

## Чем пригодится

- Проверить конкретное доказательство локально в Rocq 9.2.0, чтобы убедиться в отсутствии ошибок санитайзера.
- Сослаться на agreement statement для библиотеки вроде OpenSSL bignum в отчёте по безопасности.
- Сравнить, какие сборки санитайзеров (ASan, UBSan) покрыты для нужной entry point, прежде чем на неё полагаться.

## Почему он здесь

- По замерам счётчика за 2026-10-24 (UTC), 13:51–18:41: 122 → 128 звёзд (+6). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +10 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 2 дня, а у него уже 128 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #199.
- Среди свежих форков — заметные разработчики: @gmh5225 (1 295 подп.).

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 8
- Issues и pull requests: 3
- Наблюдателей: 0
- В среднем за неделю: 39 в день
- Обычный темп: мало истории (меньше двух недель)
- Звёзд за последний час (по замерам): 1
- Последний релиз: v2026.10.0-src (2026-10-22)

## Звёзды по дням за 3 дня (от старых к новым, сегодня — неполный день)

2026-10-22 … 2026-10-24: 46, 62, 6

## Где замечен сейчас

- Топ новых репозиториев за неделю: #199

## Ещё в этой категории

1. **EthanArbuckle/fairplay-decrypt** — 8,1 · Взлёт · Безопасность · C · +353 звезды по замерам 2026-10-24, 00:03–18:40 UTC, к вечеру ≈ 474
   Утилита для офлайн-расшифровки FairPlay-защищённых IPA из App Store: получает 16-байтовый credential с джейлбрейкнутого устройства и снимает шифрование с arm64-страниц Mach-O. Работает на macOS и Linux.
   Полная карточка: https://gitnova.dev/r/EthanArbuckle/fairplay-decrypt.md
2. **anthropics/sandbox-runtime** — 6,7 · Взлёт · Безопасность · TypeScript · +156 звёзд по замерам 2026-10-24, 11:39–18:40 UTC, к вечеру ≈ 209
   Легковесный инструмент для изоляции произвольных процессов на уровне ОС: ограничивает доступ к файлам, сети и Unix-сокетам без контейнеров, используя sandbox-exec, bubblewrap и прокси.
   Полная карточка: https://gitnova.dev/r/anthropics/sandbox-runtime.md
3. **cloudflare/security-audit-skill** — 6,4 · Взлёт · Безопасность · JavaScript · +1 797 звёзд по замерам 2026-10-24, 00:03–18:40 UTC, к вечеру ≈ 2 297
   Навык для кодинг-агента, превращающий его в аудитора безопасности: проводит многофазный аудит кода с независимой проверкой находок и машиночитаемым выводом.
   Полная карточка: https://gitnova.dev/r/cloudflare/security-audit-skill.md
4. **assetnote/php2shell-scanner** — 6,3 · Ранний сигнал · Безопасность · Python · +179 звёзд по замерам 2026-10-24, 00:03–18:41 UTC, к вечеру ≈ 224
   CLI-сканер на Python для обнаружения уязвимостей php2shell (CVE-2026-109618 и CVE-2026-109619) в PHP-приложениях. Отправляет multipart-запросы и определяет уязвимость по ошибкам исчерпания памяти, сбоям PHP-FPM или известной…
   Полная карточка: https://gitnova.dev/r/assetnote/php2shell-scanner.md
5. **openai/php2shell-checker** — 6,0 · Ранний сигнал · Безопасность · JavaScript · +213 звёзд по замерам 2026-10-24, 00:03–18:41 UTC, к вечеру ≈ 278
   CLI-инструмент на Node.js, который проверяет версию PHP на сайте по HTTP-заголовкам или локального бинарника php -v на уязвимость к php2shell. Возвращает OK, VULNERABLE или UNKNOWN с соответствующими кодами выхода.
   Полная карточка: https://gitnova.dev/r/openai/php2shell-checker.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-10-24 18:51 UTC, обновление каждые 30 минут.