maintain-formal-verification-skill

MEDIUM W011: Third-party content exposure detected (indirect prompt injection risk).

• Third-party content exposure detected (medium risk: 0.30). The skill reads project source code, commit messages, and local verification artifacts to update formal models, with commit messages potentially containing outsider text depending on the repository workflow.