From prove
Post-diff Socratic quiz that builds deep comprehension of agent-generated code. Analyzes recent changes, generates causal/design questions, quizzes the developer interactively, and logs comprehension gaps.
How this skill is triggered — by the user, by Claude, or both
Slash command
/prove:comprehend [commit SHA, range, or file path][commit SHA, range, or file path]The summary Claude sees in its skill listing — used to decide when to auto-load this skill
Generate 3-5 questions about a recent diff, quiz the developer interactively, and log comprehension gaps. Tone is collaborative, not evaluative. Max 5 questions (target 2-5 minutes).
Generate 3-5 questions about a recent diff, quiz the developer interactively, and log comprehension gaps. Tone is collaborative, not evaluative. Max 5 questions (target 2-5 minutes).
$ARGUMENTS if provided (SHA, range, or path). Otherwise detect:
git diffgit diff HEAD~1git show HEADgit diff --stat on chosen scope. Empty diff -- inform and stop.Read the full diff and each changed file for surrounding context.
Generate 5 questions (drop to 3 if <3 functions or ~50 lines). Each targets one category:
| Category | Example |
|---|---|
| Causality | "What happens if this error handler is removed?" |
| Design rationale | "Why was a Map used here instead of a plain object?" |
| Data flow | "Where does this config value originate and what consumes it?" |
| Edge cases | "What happens when this list is empty?" |
| Integration | "How does this change affect existing callers?" |
Quality requirements:
Answer options per question: One correct answer, one plausible-but-wrong answer, "I'm not sure" (last). Randomize correct/wrong position.
For each question:
Present via AskUserQuestion: header "Q{n}/{total}", question prefixed with [Category], three options.
Respond:
Track: category, question, answer, correct/incorrect.
Score: X/{total}Skip if .prove/ directory does not exist.
AskUserQuestion (header "Log"):
If saving, write to .prove/learning/YYYY-MM-DD-<topic-slug>.md:
# Comprehension Log: <topic>
**Date**: YYYY-MM-DD
**Scope**: <diff description>
**Score**: X/{total}
**Rating**: Strong | Solid | Moderate | Needs Review
## Questions
### Q1: [Category] <question>
- **Answer**: <user's answer>
- **Correct**: Yes | No
- **Explanation**: <if wrong>
## Gaps
- <category>: <gap> -- re-read `<file>:<function>`
## Takeaway
<one sentence>
Inform user where the log was saved.
This skill does not modify project code. Delegate learning log commits to the commit skill.
npx claudepluginhub mjmorales/claude-prove --plugin proveCreates, edits, and optimizes skills for Claude Code, including drafting, evaluating with test prompts, iterating on performance, and improving skill descriptions for better triggering accuracy.