Tool suggestion: a spec linter to keep skill contracts falsifiable (open source)

The official skills library sets the ecosystem standard — adding a contract layer would set the verification standard too. We open-sourced skill-spec: a six-section SPEC template (Purpose / Interface / Procedure / Acceptance / Guards / Honest limits) + zero-dependency linter that turns SKILL.md folders into falsifiable, auditable units, exit 0/1 for CI: github.com/chenhz01/skill-spec. Happy to run it across this library and share results. Ignore if not relevant.