Agent Skills: formal-verification

OPT-IN workflow for involved formal-verification planning. Use only when: the user explicitly asks for formal verification, this skill is referenced by workspace instructions, or the task explicitly calls for structuring a full formal-verification effort across models, refinement steps, and implementation-level proof obligations.