zero-jump-check

What problem does it solve?

This skill detects non-obvious leaps between adjacent steps in derivations or arguments and inserts intermediate steps so every transition is immediately understandable to a reader.

Core Features & Use Cases

• Seam auditing: scan adjacent steps and flag transitions that cannot be summarized by a single short operation phrase.
• Concept-prerequisite detection: identify when a step introduces an undefined tool, method, or term and flag it as a knowledge gap.
• Automated patching: insert intermediate steps recursively until each seam is obviously justified.
• Use case: improve clarity in mathematical proofs, paper reviews, lecture notes, and stepwise technical explanations by filling in missing inferential steps.

Quick Start

Ask the skill to audit the provided derivation and return a patched version with inserted intermediate steps and a list of patched seams.