# cristianoc/TScert

> Исследовательский верификатор TypeScript-функций: принимает функцию только с доказательством типобезопасности, а корректность самого чекера доказана в Lean 4. Отклоняет `any`, type assertions и небезопасные чтения массивов, которые пропускает `tsc`.

- Магнитуда: 1,2 из 10 — Ровно
- Звёзды: 142 всего · +1 звезда по замерам 2026-11-09, 00:09–02:17 UTC, к вечеру ≈ 3
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Инструменты разработчика · Язык: TypeScript · Создан: 2026-10-16 · Последний коммит: 2026-11-09
- GitHub: https://github.com/cristianoc/TScert · Страница: https://gitnova.dev/r/cristianoc/TScert

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

- Проверить отдельную TypeScript-функцию на типобезопасность через `make check FILE=...`
- Найти места, где `tsc` пропускает чтение `undefined` из массива после `pop`
- Изучить формальную семантику и правила типизации подмножества TypeScript в Lean

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

- По замерам счётчика за 2026-11-09 (UTC), 00:09–02:17: 141 → 142 звёзд (+1). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +3 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 24 дня, а у него уже 142 звезды.
- Hacker News: «TScert: A Sound Core for TypeScript» — 25 очков, 4 дня назад.
- Среди свежих форков — заметные разработчики: @robertpenner (589 подп.).

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

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

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

## Цифры

- Форков: 3
- Issues и pull requests: 129
- Наблюдателей: 1
- В среднем за неделю: 21 в день
- Обычный темп: 0 в день
- Звёзд за последний час (по замерам): 1
- Последний релиз: v0.94 (2026-11-04)

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

2026-10-16 … 2026-11-09: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 101, 34, 2, 4, 1, 1

## Магнитуда по дням за 5 дней

11-05 5,1, 11-06 4,5, 11-07 2,0, 11-08 1,6, 11-09 1,2

## Hacker News

- TScert: A Sound Core for TypeScript — 25 очков, 11 комментариев: https://news.ycombinator.com/item?id=50366465

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

- Замечен на Hacker News

## Похожие по описанию

1. **NyxFoundation/nyxis** — 0,0 · Ровно · Бэкенд и базы данных · Lean · Недостаточно замеров за сегодня
   Бэкенд-фреймворк на Lean с формально доказанной безопасностью авторизации. Разработчик пишет только Cedar-схему и политики, а обработчики может генерировать AI-агент; при каждой сборке проверяется, что никакая последовательность…
   Полная карточка: https://gitnova.dev/r/NyxFoundation/nyxis.md

---

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