How do I install the Example Proof skill?

Run npx skillmds@latest add homenshum/example-proof in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

What does the Example Proof skill do?

Verify a completed change against raw artifacts and one named user outcome. Use after substantive implementation or when another agent claims completion. It is listed under AI & ML on SkillMD.

Is Example Proof safe to use?

This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Example Proof?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Example Proof free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Example Proof?

HomenShum (@homenshum) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Example Proof by homenshum — Agent Skill

Name: Example Proof
Author: HomenShum

File contents

Example proof skill

Read the execution contract before starting. Validate the final receipt with its parameterized verification.argv, replacing {python}, {skill_dir}, and {receipt} with concrete local values.

Inputs

the user's requested outcome;
the exact files or remote surface in scope;
the claimed verification commands;
one named observable proof.

Workflow

Restate the claim in falsifiable terms.
Inspect the raw diff or artifact rather than relying on a summary.
Re-run the narrow verification from a clean state.
Exercise one realistic failure or degraded path.
Compare the observation with the named proof.
Return the five-field contract receipt. Use PASS only when the proof was observed, BLOCKED for a named external impediment, and UNVERIFIED when evidence is absent or contradictory.

Boundaries

Do not edit while judging.
Do not expose credentials or private identifiers in evidence.
A lower-layer check cannot prove a higher-layer claim.
Stop when the named proof is observed or concretely falsified.

Frequently asked questions

Example Proof