midnight-verify:verify-by-cli-execution

What problem does it solve?

This Skill provides a repeatable, evidence-first method to verify behavioral claims about the Compact CLI by running the actual commands and collecting observable outputs instead of relying solely on source inspection or secondary reports.

Core Features & Use Cases

• CLI availability detection: Determines whether compact and compactc are installed and which wrapper is present.
• Flag and behavior validation: Checks for flag existence in help output and compares compile results with and without flags to detect behavioral changes.
• Output, error, and exit-code capture: Records stdout, stderr, and exit codes and inspects filesystem artifacts produced by compilation to confirm or refute claims.
• Use Case: Validate a claim that --skip-zk changes the build artifacts by compiling a minimal contract with and without the flag and comparing directory listings and outputs.

Quick Start

Run a compact compile on a minimal contract, capture stdout, stderr, exit code, and the build directory listing, and produce a CLI Execution Report summarizing whether the observed outputs confirm the claim.