deliver
01Skill Claude CodeCodex
Prepare an inspectable Hardproof delivery during DELIVER with final scope, evidence, risks, rollback, and reproducible reporting.
5 3d ago A 27 tokens
original Apache-2.0
5Stars on the repository
10Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
design
02Skill 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
03Skill 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
04Skill 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
05Skill 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
06Skill 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
07Skill 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
08Skill 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
09Skill 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