midnight-verify:verify-tooling

What problem does it solve?

This Skill reduces ambiguity when verifying claims about the Compact CLI by classifying claim types and selecting the authoritative verification method (CLI execution or source investigation), preventing misrouting and wasted effort.

Core Features & Use Cases

• Claim classification: Map statements about flags, output structure, error messages, exit codes, version reporting, installation, and CLI-vs-compiler distinctions to a verification strategy.
• Method routing: Prefer CLI execution for behavioral claims and source investigation for internal or architectural claims, with support for concurrent dispatch when both are relevant.
• Use Case: When asked whether a flag changes compilation output or whether an error message is produced, route the claim to a CLI tester to run commands and to a source investigator for internal explanations as needed.

Quick Start

Use this skill to classify the claim "the compact CLI exits with code 1 on syntax errors" and route it to CLI execution or source investigation as appropriate.