Acorn Prover
Security checks across malware telemetry and agentic risk
Overview
This skill appears to be a straightforward Acorn theorem-prover helper with no evidence of hidden data access or unsafe behavior.
Install this only if you intend to use Acorn on local projects. Review the ACORN_LIB and ACORN_PROJECT paths you provide, because the skill will run Acorn commands over those directories and show command output.
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
66/66 vendors flagged this skill as clean.