create-formal-verification-skill

1# Create a formal verification skill
2 
3A test checks the cases that someone thought to write. Formal verification checks every case in a stated scope: every order of steps in a model, every input up to a bound, or every input. This skill finds the part of the repo where that matters most, verifies one property of it, and leaves a project-local skill that lets the next agent check a change against that property. Write that skill for an agent who reads it cold, mid-change, and has never seen your work. The user must be able to trust the result and act on it without learning the verification language.
4 
5## Choose the target from the code
6 
7Answer from the codebase, and ask the user only what you cannot observe. If the user named an area or a bug, start there.
8 
9A good target is a promise the code makes, where a break harms users and tests rarely reach the case that breaks it. Choose the strongest such target in the repo, not the one that is easiest to verify.
10 
11## Let the question choose the tool
12…