Loop prove
Skill rossinsilico/loop-anything/templates/loop-pack/skills/loop-prove
Make Codex and Claude loop orchestration easier and more powerful.
npx -y skills add rossinsilico/loop-anything --skill loop-proveAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 0 stars0 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
Run and record the proof command for a loop iteration before completion, publish, merge, deploy, or handoff.
SKILL.md
0.9 KB, 163 tokens by cl100k_base, as published. Nobody here has run it
Loop Prove
Use this skill before any completion claim or publish action.
Process
- Read the active task in
loop-state.md. - Identify the proof command recorded during triage.
- Run the full command from the correct working directory.
- Read the exit code and output.
- Record the command, result, and residual risk in
loop-state.md.
Rules
- Do not replace the proof command with an easier command after implementation.
- Do not claim success when the proof command fails.
- Record failed proof runs because they are useful state.
- If proof requires network or hosted service writes, confirm the state board allows that service.
Output
Write:
- command
- exit code
- relevant output
- result
- residual risk
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.