Scanned skills
cursor/plugins create-formal-verification-skill
Checked the catalogued skill at create-formal-verification-skill.
A AI-triaged 0
A Security
A set by no findings on this axis
A Permissions
A set by no findings on this axis
A Transparency
A set by no findings on this axis
0 findings
No issues flagged by the static checks in the scanned files.
1 suppressed by AI triage
SKILL.md
The relative path points to a sibling file within the repository, not an arbitrary system directory, and the manifest is static data, so it poses no real threat.