create-formal-verification-skill

SUSPICIOUS. The core behavior is coherent for a formal-verification workflow and shows no direct credential theft or exfiltration, but it introduces transitive trust by directing use of the third-party `/statechart` skill. Overall risk is moderate: benign local code-generation intent with meaningful trust expansion into another skill ecosystem.