Skip to main content

Module eval_cmd

Module eval_cmd 

Source
Expand description

lean-ctx eval — deterministic with/without output-quality eval CLI (#238).

Subcommands:

  • eval init <dir> — scaffold a runnable starter suite (one QA + one code task).
  • eval ab --suite P — run the A/B comparison and write a signed, reproducible artifact.
  • eval verify <file> — verify an artifact’s signature + determinism digest offline.

Functions§

cmd_eval
Entry point dispatched from cli::dispatch.