contract-validate

Validate that a chain of AIWG skills has all requires: inputs satisfied by upstream ensures: outputs before execution. Catches missing dependencies at wiring time rather than at runtime.

Jump to install

Repository: aibot88/sec_skill_store
Last source activity: May 27, 2026 at 03:47
Detected SKILL.md language: English
Stars: 3
Forks: 0

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

A direct command skips the review prompt. Inspect the source before running it.

npx skills add https://github.com/aibot88/sec_skill_store --skill contract-validate

The command stays on one line. Scroll horizontally to inspect it before copying.

Prefer a local copy? Download the files currently available to SkillsMP.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

File Explorer

2 files

SKILL.md

Source instructions · Read-only preview

Back to search Back to installation

namespace	aiwg
platforms	["all"]
name	contract-validate
description	Validate that a chain of AIWG skills has all requires: inputs satisfied by upstream ensures: outputs before execution. Catches missing dependencies at wiring time rather than at runtime.
requires	["skills: ordered list of AIWG skill names or file paths forming the workflow to validate","if workflow-file: path to a YAML/JSON workflow definition","external-inputs: names of inputs the calling workflow will provide (optional; unmatched requires are flagged as unresolved)"]
ensures	["validation-report: pass/fail report per skill with specific missing dependency details","verdict: VALID (all requires: satisfied), INVALID (unresolved requires: found), or VALID WITH WARNINGS (semantic matches only)","if INVALID: specific list of which skill requires which input and which upstream skill should provide it"]
errors	["skill-not-found: one or more skill names cannot be resolved to a SKILL.md file","no-contracts: none of the specified skills have contract fields — cannot validate"]
invariants	["validation never executes skills — static analysis only","semantic matches are flagged as warnings, not counted as resolved for VALID verdict","a workflow with any unresolved requires: always returns INVALID"]
commandHint	{"argumentHint":"<skill1> <skill2> ... \| --workflow <file.yaml> [--external input1,input2] [--strict]","allowedTools":"Read, Glob, Grep","model":"sonnet","category":"planning"}