issue/proof
CommunityFormalize ACs and proof plans for issues.
Authorusurobor
Version1.0.0
Installs0
System Documentation
What problem does it solve?
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.
Core Features & Use Cases
- Formalizes acceptance criteria into independent, testable units with explicit invariants, oracles, and surface.
- Produces a comprehensive proof plan that maps invariants, surfaces, and outcomes to operator-visible results.
- Useful for complex issues where clear gating, negative cases, and known gaps are essential for robust validation.
Quick Start
State the issue, identify the invariant and oracle, and draft the accompanying acceptance criteria and proof plan.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: issue/proof Download link: https://github.com/usurobor/cnos/archive/main.zip#issue-proof Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.