Ignat v0.2 — конвейер строгости для ИИ-науки
Ignat — наш открытый набор скилов Claude Code для научной работы — вышел в v0.2, расширившись от ревью до полного конвейера строгости: хорошо ли аргументировано? → реален ли каждый факт? → что мы можем доказать строго?
Новое в v0.2:
/groundcheck— гейт против AI slop. Если/reviewоценивает статью целиком, то/groundcheckпроходит по каждому несущему утверждению с одним вопросом: опирается ли оно на проверяемый источник? Ловит пять вещей, которые модели галлюцинируют чаще всего — «вайб-цитаты», числа без источника, путаницу свойств сущностей, висячие перекрёстные ссылки и непроверенные заявления о новизне — и предлагает конкретный фикс к каждому./formalize— превращает ключевые утверждения статьи в machine-checked теоремы (Lean 4 / KeYmaera X) с честным разграничением: каждое утверждение делится на доказанное машинно, выписанное руками или недоказуемое. Строгое доказательство физически пустого утверждения хуже честного «сегодня не доказуемо».- Два новых агента —
paper-architect(стратегия рукописи: дисциплина scope, честность о новизне, что в main, что в SI, выбор журнала) иverifier(выделенный фактчекер цитат и чисел). - Гайд лучших практик, собирающий дисциплину за инструментами, начиная с правила, которое мы переучиваем снова и снова: «PASS» агента — это гипотеза, а не вердикт.
Лицензия MIT. Контрибьюции приветствуются.