design
25Skill Claude CodeCodex
Shape the smallest reversible Hardproof design from discovery evidence during DESIGN, including contracts, failures, and risks.
5 3d ago A 23 tokens
original Apache-2.0
discover
26Skill Claude CodeCodex
Inspect a Hardproof run's request, repository, constraints, and unknowns during DISCOVERY before proposing a design.
5 3d ago A 25 tokens
original Apache-2.0
implement
27Skill Claude CodeCodex
Execute approved Hardproof tasks during IMPLEMENT with focused tests, durable task updates, and scope-controlled code changes.
5 3d ago A 23 tokens
original Apache-2.0
learn
28Skill Claude CodeCodex
Close a Hardproof run during LEARN by capturing safe provenance-linked lessons or recording an explicit reason to skip them.
5 3d ago A 25 tokens
original Apache-2.0
orchestrate
29Skill Claude CodeCodex
Coordinate an active Hardproof run across discovery, design, planning, implementation, review, verification, delivery, and learning.
5 3d ago A 28 tokens
original Apache-2.0
plan
30Skill Claude CodeCodex
Turn an approved Hardproof design into dependency-aware, independently testable tasks during PLAN without editing product code.
5 3d ago A 23 tokens
original Apache-2.0
review
31Skill Claude CodeCodex
Challenge a Hardproof implementation during REVIEW against its approved contract, code quality, tests, and risk boundaries.
5 3d ago A 23 tokens
original Apache-2.0
verify
32Skill Claude CodeCodex
Prove a Hardproof implementation during VERIFY by running configured checks and evaluating fresh workspace-bound evidence.
5 3d ago A 21 tokens
original Apache-2.0