Finish the loop
Skill zakelfassi/skills-driven-development/examples/proof-carrying-skill/finish-the-loop
Agents that learn by doing — and remember how they did it. A methodology for AI agents to create, evolve, and share reusable skills.
npx -y skills add zakelfassi/skills-driven-development --skill finish-the-loopAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 17 stars17 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 author says it does
Copied from the file, not written here
Close implementation loops with target-bound independent evidence and a portable proof receipt. Use when an agent changes a real system and must earn a completion claim that survives the session.
SKILL.md
1.4 KB, as published. Nobody here has run it
Finish the Loop
Treat completion as a claim that needs evidence from the intended target.
- Read
WORKFLOW.jsonand create.skdd/runs/<run-id>/state.jsonbefore changing the system. - Pin each acceptance line to an explicit target tuple: environment, resource, and revision. Do not let the executor silently choose or revise the target.
- Record the executor identity and credential scope.
- Reproduce, change, and drive the real artifact. Keep the run state resumable after interruption.
- Collect evidence with a provider that has a different identity and credential scope from the executor. A test run by the same process is useful feedback, but it is not independent proof.
- Emit
receipt.jsonusing the proof-receipt schema. Bind the skill bytes and each acceptance contract with SHA-256 digests. - Run
skdd proof verify receipt.json --skill SKILL.md. - Report
verifiedonly when the verifier passes. Otherwise report the reason codes and leave the looprefused,blocked, oropen.
Never translate “the build passed” into “the user-visible outcome works.” Evidence must match the acceptance target exactly.