ELYZORIX
← Developer Tools
WindowsOpen SourceApache-2.0v0.7.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

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

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

Pro planned

Pro is about time and automation, not better safety: one-command pipelines, workflow profiles, batch/CI orchestration, richer reports, analytics and unattended workflows.

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

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

Windows source package SHA-256:

SHA-256 Windows source package:

698996db4534579dc99b5c4625e3c56ed246b7e188117919e65ddc75bfd351cf