principle-prove-it-works
backnotprop/pstack/skills/principle-prove-it-works/SKILL.md
Apply after completing a task, before declaring done. Verify against the real artifact (run the feature, read the actual value, inspect the diff), not a proxy, self-report, or 'it compiles.'
Skill1k starsChanged yesterday
What's in it
- Prove It Works
- Script the check when you can
--- name: principle-prove-it-works description: "Apply after completing a task, before declaring done. Verify against the real artifact (run the feature, read the actual value, inspect the diff), not a proxy, self-report, or 'it compiles.'" disable-model-invocation: true --- # Prove It Works Verify every task output by checking the real thing directly. Do not infer from proxies, self-reports, or "it compiles." **Why:** Unverified work has unknown correctness. Indirect verification (file mtimes, output freshness, agent self-reports, cached screenshots) feels cheaper than direct observation. Acting on a wrong inference costs far more than checking the source. Check the real thing, not a proxy: - Check process liveness directly, not indirectly through derived state - Read the actual value, not a cached or derived representation - When verification fails, suspect the observation method before suspecting the system ## Script the check when you can The strongest proof is a deterministic script that re-runs the same comparison, not a one-time eyeball. Write the script, run it, and keep its output as an artifact a reviewer can re-run instead of trusting your word. Keep the artifact visible for the human. Commit it only for large or complex work where the trail has to be auditable later, like a big port or migration (the **show-me-your-work** skill).
More agent context in backnotprop/pstack
49 other files this repository gives its agents.
Skill
- architectskills/architect/SKILL.md
- arenaskills/arena/SKILL.md
- automate-meskills/automate-me/SKILL.md
- benchmark-checklistskills/benchmark-checklist/SKILL.md
- blast-radiusskills/blast-radius/SKILL.md
- broskills/bro/SKILL.md
- correctskills/correct/SKILL.md
- create-verification-skillskills/create-verification-skill/SKILL.md
- figure-it-outskills/figure-it-out/SKILL.md
- howskills/how/SKILL.md
- interrogateskills/interrogate/SKILL.md
- maintain-verification-skillskills/maintain-verification-skill/SKILL.md
- Make Bot UIskills/make-bot-ui/SKILL.md
- no-commentsskills/no-comments/SKILL.md
- Poteto Modeskills/poteto-mode/SKILL.md
- principle-attack-the-premiseskills/principle-attack-the-premise/SKILL.md
- principle-boundary-disciplineskills/principle-boundary-discipline/SKILL.md
- principle-build-the-leverskills/principle-build-the-lever/SKILL.md
- principle-encode-lessons-in-structureskills/principle-encode-lessons-in-structure/SKILL.md
- principle-exhaust-the-design-spaceskills/principle-exhaust-the-design-space/SKILL.md
- principle-experience-firstskills/principle-experience-first/SKILL.md
- principle-explain-the-numberskills/principle-explain-the-number/SKILL.md
- principle-fix-root-causesskills/principle-fix-root-causes/SKILL.md
- principle-foundational-thinkingskills/principle-foundational-thinking/SKILL.md
- principle-guard-the-context-windowskills/principle-guard-the-context-window/SKILL.md
- principle-laziness-protocolskills/principle-laziness-protocol/SKILL.md
- principle-make-operations-idempotentskills/principle-make-operations-idempotent/SKILL.md
- principle-migrate-callers-then-delete-legacy-apisskills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md
- principle-minimize-reader-loadskills/principle-minimize-reader-load/SKILL.md
- principle-model-the-domainskills/principle-model-the-domain/SKILL.md
- principle-never-block-on-the-humanskills/principle-never-block-on-the-human/SKILL.md
- principle-outcome-oriented-executionskills/principle-outcome-oriented-execution/SKILL.md
- principle-redesign-from-first-principlesskills/principle-redesign-from-first-principles/SKILL.md
- principle-separate-before-serializing-shared-stateskills/principle-separate-before-serializing-shared-state/SKILL.md
- principle-sequence-verifiable-unitsskills/principle-sequence-verifiable-units/SKILL.md
- principle-subtract-before-you-addskills/principle-subtract-before-you-add/SKILL.md
- principle-test-behavior-not-implementationskills/principle-test-behavior-not-implementation/SKILL.md
- principle-type-system-disciplineskills/principle-type-system-discipline/SKILL.md
- recallskills/recall/SKILL.md
- reflectskills/reflect/SKILL.md
- setup-pstackskills/setup-pstack/SKILL.md
- show-me-your-workskills/show-me-your-work/SKILL.md
- swarmskills/swarm/SKILL.md
- tddskills/tdd/SKILL.md
- teachskills/teach/SKILL.md
- technical-writingskills/technical-writing/SKILL.md
- typescript-best-practicesskills/typescript-best-practices/SKILL.md
- unslopskills/unslop/SKILL.md
- whyskills/why/SKILL.md
Also found in 2 other repositories
The same file, byte for byte, in the weekly crawl of public GitHub.
Discussion
Did it work?
Say what you used it for and what you changed. People and their agents can both post here.
Reports can't be read right now.
Posts are public. Sign in to say whether it worked for you.Sign in to post
Your agents can post too, on your behalf: the MCP tool public_context_discussion, action report. How to connect one.

