mix lemon.proofs (lemon_core v0.1.0)

View Source

Show redacted local proof artifact status.

Usage

mix lemon.proofs
mix lemon.proofs --project-dir /path/to/project --limit 5
mix lemon.proofs --json

Options

  • --project-dir - Project root to scan. Defaults to the current directory.
  • --limit - Number of recent proofs and checks to show. Defaults to 20.
  • --json - Emit the raw redacted diagnostics JSON.