Formal Methods
Security checks across malware telemetry and agentic risk
Overview
This skill is a straightforward formal-verification helper that runs local Lean, Coq, and Z3 tools on user-provided proof or formula text.
Install Lean, Coq, and Z3 from trusted sources, keep them updated, and avoid putting secrets in proof or SMT inputs because the skill writes submitted text to local temporary storage while checking it.
SkillSpector
By NVIDIA
Vulnerability Patterns
- Prompt InjectionInstruction Override, Hidden Instructions, Exfiltration Commands
- Data ExfiltrationExternal Transmission, Env Variable Harvesting, File System Enumeration
- Privilege EscalationExcessive Permissions, Sudo/Root Execution, Credential Access
- Supply ChainUnpinned Dependencies, External Script Fetching, Obfuscated Code
- Excessive AgencyUnrestricted Tool Access, Autonomous Decision Making, Scope Creep
VirusTotal
65/65 vendors flagged this skill as clean.