swe_seed

A completion gate that compares the current claim against required proof, unresolved risks, and observed validation output before allowing the work to be called done. Use this skill when the request mentions the agent is about to make a completion claim, release or finishing work that depends on proof output, turn-stop checks that need to block completion theater.

A change-with-proof procedure that adds a falsifiable check, makes the smallest implementation change, and reads the proof output before claiming completion. Use this skill when the request mentions implementation tasks that need code, docs, or harness behavior changes, route cards that require a proof-bearing work loop, follow-up work after the outcome has already been framed.

A proposal-oriented learning procedure that captures durable lessons, chooses one destination, and updates memory or harness artifacts only when the note changes future behavior. Use this skill when the request mentions the end of meaningful work that revealed a reusable lesson, sessions that exposed a route defect or repeated friction, trace distillation and proposal-oriented memory updates.

A framing procedure that names the outcome, the governing artifact, the proof surface, and the smallest useful delta before implementation starts. Use this skill when the request mentions broad requests that need an executable next action, implementation work where the acceptance criteria or proof are still fuzzy, spec or harness changes that need a smallest useful delta.

A review procedure that looks for simpler alternatives, traces the actual path, and separates claim from verification before reporting findings. Use this skill when the request mentions requests to review changes for behavioral risk, audit work on harness contracts or proof surfaces, code review situations where findings must be evidence-backed.

A test-focused procedure that writes a failing or contract-revealing check, makes it pass without unrelated behavior changes, and proves the new check is part of completion. Use this skill when the request mentions tasks that exist to add or repair verification, implementation follow-up work that still lacks behavior coverage, contract checks for harness surfaces.

A repro-first debugging procedure with reliable reproduction, fail path tracing, hypothesis disproof, breadcrumb ledger, and completion gates. Use this skill when the request mentions failing tests, regressions, unexpected behavior that needs root-cause diagnosis.