proof-assistant
Assist in constructing algorithm correctness proofs
npx skills add a5c-ai/babysitter --skill proof-assistant --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Proof Assistant Skill ## Purpose Assist in constructing formal correctness proofs for algorithms using standard proof techniques. ## Capabilities - Proof structure templates (induction, contradiction, etc.) - Step-by-step proof guidance - Termination argument generation - Proof review and validation - Identify proof gaps ## Target Processes - correctness-proof-testing - algorithm-implementation ## Proof Techniques ### Mathematical Induction - Base case identification - Inductive hypothesis formulation - Inductive step construction ### Proof by Contradiction - Assumption negation - Logical derivation - Contradiction identification ### Loop Invariant Proofs - Invariant specification - Three-part proof (init, maintenance, termination) ### Structural Induction - For recursive data structures - Base case (leaf/empty) - Inductive case (composite) ## Input Schema ```json { "type": "object", "properties": { "algorithm": { "type": "string" }, "code": { "type": "string" }, "proofType": { "type": "string", "enum": ["induction", "contradiction", "invariant", "structural"] }, "claim": { "type": "string" }, "partialProof": { "type": "string" } }, "required": ["algorithm", "claim"] } ``` ## Out
- Purpose
- Capabilities
- Target Processes
- Proof Techniques
- Mathematical Induction
- Proof by Contradiction
- Loop Invariant Proofs
- Structural Induction
- Input Schema
- Output Schema
What does the proof-assistant skill do?
Assist in constructing algorithm correctness proofs
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill proof-assistant --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.