Define acceptance criteria and proof plans for cnos issues with invariants, oracles, and surfaces.
npx skills add https://github.com/usurobor/cnos --skill issue-proof
Please help me install this Agent Skill. Skill: issue/proof Source: https://github.com/usurobor/cnos/tree/main/src/packages/cnos.cdd/skills/cdd/issue/proof Command: npx skills add https://github.com/usurobor/cnos --skill issue-proof
This skill provides a structured approach to designing and validating acceptance criteria and proof plans for issues in a cnos environment, ensuring decisions are verifiable and traceable.
State the issue, identify the invariant and oracle, and draft the accompanying acceptance criteria and proof plan.
High-intent search queries and answers about installing and using this skill.
Acceptance criteria formalization requires defining independent, testable units with explicit invariants, oracles, and surfaces, ensuring decisions are verifiable and traceable for robust validation.
Defining invariants and oracles involves producing a proof plan that maps invariants, surfaces, and outcomes to operator-visible results, outlining known gaps and ensuring clear gating for complex issues.
To structure test cases for positive, negative, and surface scenarios, formalize acceptance criteria into independent, testable units and outline known gaps to ensure robust validation across all outcomes.
You need a formal proof plan when precise testing and verification of closure are required, applying explicit structures for acceptance criteria to ensure decisions are verifiable and traceable.
usuroborCreate executable issue packs with frontmatter-driven schemas for governance artifacts.
arozumenkoVerify goal achievement with PASS, PARTIAL, or FAIL verdicts and line citations.
ryryoAnalyze user stories to extract goals, scope, and acceptance criteria.
GaryOcean428Generate verification reports with test results and traceable evidence.
