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.
Creates, edits, and optimizes skills for Claude Code, including drafting, evaluating with test prompts, iterating on performance, and improving skill descriptions for better triggering accuracy.
npx claudepluginhub mjmorales/claude-prove --plugin prove