yichus verify-claims
Check an agent's report against computed program facts; inspect supported, refuted, and not-provable results
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage: yichus verify-claims [--out <path>] <claims.json> <files>...
Machine-check an agent's claims against the program's facts
Options and flags:
--help
Display this help text.
--out <path>
Also write the verification report here