interface-contract-verifier — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited interface-contract-verifier (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
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.jsonCompare and verify contract preservation:
python scripts/contract_verifier.py --old old_contracts.json --new new_contracts.json --output report.jsonExamine violations: weakened preconditions, strengthened postconditions, broken invariants.
Requirements before method execution:
def withdraw(amount):
"""Precondition: amount > 0 and amount <= balance"""Guarantees after method execution:
def deposit(amount):
"""Postcondition: balance == old(balance) + amount"""Properties always true for a class:
class BankAccount:
"""Invariant: balance >= 0"""Liskov Substitution Principle:
New version rejects previously valid inputs.
New version guarantees less.
Class invariant no longer holds.
Relax precondition or update callers.
Strengthen implementation to meet original guarantee.
Add checks to maintain invariant in all methods.
~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.