ELYZORIX
← Developer Tools
WindowsOpen SourceApache-2.0v0.8.0

ELY Agent Input Preflight

Check before an AI coding agent starts. Independently verify what happened after it finishes.

Проверяет проект до запуска AI-кодинг-агента и независимо подтверждает результат после завершения его работы.

Community core · local-first · no telemetryCommunity-ядро · local-first · без телеметрии

Exit code 0 is not proof.Exit code 0 — ещё не доказательство.

An AI coding agent can report success while the project is incomplete, unexpected files changed, generated code is unsafe or the requested result was never independently verified.

AI-кодинг-агент может сообщить об успехе, хотя проект не завершён, изменены лишние файлы, сгенерирован небезопасный код или результат вообще не был независимо проверен.

Verification chainЦепочка проверки

1

PROCESS

Did the agent process run as expected?

Отработал ли процесс агента ожидаемым образом?

2

EXECUTION

What actually changed in the workspace?

Что реально изменилось в рабочем проекте?

3

ACCEPTANCE

Does independent verification accept the result?

Принимает ли результат независимая проверка?

4

FINAL

VERIFIED, FAILED or NEEDS_REVIEW — without silently merging the earlier evidence boundaries.

VERIFIED, FAILED или NEEDS_REVIEW — без смешивания предыдущих уровней доказательств.

Generated-Code Admission new in v0.7.0

v0.7.0 adds an independent admission layer between generated source changes and the final Postflight decision.

v0.7.0 добавляет независимый слой допуска между изменениями исходного кода и финальным решением Postflight.

  • Deterministic Python syntax and bounded structural validation.
  • Baseline checks for dangerous constructs such as eval, exec, os.system and supported subprocess shell execution.
  • Project-local allowed/denied paths and forbidden-call policy.
  • Fail-closed behavior for invalid, dangerous, out-of-scope and policy-violating source.
  • NOT_PROVEN / NEEDS_REVIEW when ELY cannot independently prove admission.
  • Детерминированная проверка синтаксиса Python и ограниченная структурная валидация.
  • Базовые проверки опасных конструкций: eval, exec, os.system и поддерживаемые варианты subprocess shell execution.
  • Локальные правила allowed/denied paths и forbidden calls для проекта.
  • Fail-closed для некорректного, опасного, выходящего за scope или нарушающего policy кода.
  • NOT_PROVEN / NEEDS_REVIEW, если ELY не может независимо доказать результат допуска.

Community free forever

The complete core verification and safety functionality remains free and Apache-2.0. No artificial daily scan limits.

Полное ядро проверки и безопасности остаётся бесплатным под Apache-2.0. Искусственных дневных лимитов на проверки нет.

Pro $5 · €5 · 499 ₽ / month

Pro sells time, not safety: workflow automation, reusable profiles, richer reports, batch/CI orchestration, analytics and unattended workflows.

Pro продаёт время, а не безопасность: автоматизация, профили, расширенные отчёты, batch/CI, аналитика и автоматические сценарии.

Official upgrade route: this page. Checkout is in final verification.

Официальный путь покупки: эта страница. Checkout проходит финальную проверку.

Release v0.8.0Релиз v0.8.0

Windows source package SHA-256:

SHA-256 Windows source package:

2c54b8880615109d906b7a5f9aa1c6d831ffc7116823a7ea0a2c3645fea43d6a