interface-contract-verifier

The skill is a benign developer tooling workflow for contract verification across software versions. It uses local scripts to extract and verify preconditions, postconditions, and invariants, and outputs a report of violations. There are no credential, network, or exfiltration concerns evident in the described usage. Provided artifacts (reports) are intended for developer guidance and do not imply covert data leakage.