Implementing contract first
Skill casioreview20-glitch/forge-os/skills-v2/l1/implementation/implementing-contract-first
Use when implementing contract first within implementation lifecycle boundaries, especially when does the artifact make the owned decision for implementing contract first explicit and bounded?.From its SKILL.md
npx -y skills add casioreview20-glitch/forge-os --skill implementing-contract-firstAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 10 stars10 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
What its file declares
Copied from the file, not written here
The file declares its own license as MIT. That is the author’s claim about this one file, and it is not the same thing as the license GitHub reports for the repository, which is listed with the other numbers below.
SKILL.md
0.9 KB, 87 tokens by cl100k_base, as published. Nobody here has run it
Implementing Contract First
Core principle
Implementing contract first within implementation lifecycle boundaries. Deterministic checks own scope, typed preconditions, evidence, and coverage; the agent performs only the domain judgment that cannot be encoded safely.
Do not activate when
- the requested outcome does not require implementing contract first within implementation lifecycle boundaries
- the typed inputs for implementing-contract-first are absent and another technique owns the outcome
What ships with it: 9 files
13.5 KB alongside SKILL.md
evaluators/
- baseline.json203 B
- cases.json1.3 KB
- rubric.json409 B
sections/
- decision-tables.md303 B
- examples.md241 B
- failure-modes.md331 B
- procedure.md714 B
- verification.md609 B
- manifest.json9.5 KB