Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →arabelatso/interface-contract-verifier
Verify that interface and class contracts (preconditions, postconditions, invariants) are preserved across program versions.
Passed 17 of 19 test cases with the skill, and 14 of 19 without it.
and 5 more in the full report
3 fixed14 passed either way2 still failing0 broke3 errored
Tokens, turns and time describe resource use, not a dollar price.
One of 3 test cases the skill fixed. Same model, same prompt, with and without the skill.
We have two extracted JSON contract files, `base_contracts.json` and `target_contracts.json`. We want to run the contract verification script to generate `diff_report.json`. What is the exact execution command?
| Checked | Without skill | With skill |
|---|---|---|
| Specifies running python scripts/contract_verifier.py. | Missed | Passed |
| Passes base_contracts.json using the --old flag. | Missed | Passed |
| Passes target_contracts.json using the --new flag. | Missed | Passed |
The instructions your model reads when the skill loads.
Verify that formal or structured contracts (preconditions, postconditions, invariants) defined in interfaces and classes are preserved when updating to a new program version.
Extract contracts from both versions:
python scripts/contract_extractor.py --program old_version --output old_contracts.json
python scripts/contract_extractor.py --program new_version --output new_contracts.json
Compare and verify contract preservation:
python scripts/contract_verifier.py --old old_contracts.json --new new_contracts.json --output report.json
Examine violations: weakened preconditions, strengthened postconditions, broken invariants.
Requirements before method execution:
def withdraw(amount):
"""Precondition: amount > 0 and amount <= balance"""
Guarantees after method execution:
test cases passed, vs 14 / 19 without
More skills from the same source and nearby in the registry, with their headline benchmark lift.