Плагины

Навык проверки утверждений, сверяющий проектные документы и планы с фактами кодовой базы, с эскалацией поведенческих утверждений до исполняемой проверки логическими примитивами для машин состояний и моделей данных, с регрессией до/после, доменными ограничениями и поиском рисков параллелизма.

Разбор/запросы/агрегация/конвертация CSV (RFC 4180) через парсер на конечном автомате без зависимостей.

Врата проверки на реальных вычислениях: упрощение математических выражений, логические доказательства, проверка regex, FOL через E-prover, проверки конечных автоматов и исправление кода на основе бинарников, скомпилированных на Go, с готовыми исполняемыми файлами для Windows.

Turns what a design, plan or document claims into a model and decides it: UML diagrams rendered, read and reviewed; state machines, protocols and data models checked as models; migrations tested for coverage and rollback symmetry; concurrency claims mined and routed to the checker that can decide them; dependency graphs audited; reports diffed.