autospec
Security checks across malware telemetry and agentic risk
Overview
This is a markdown-only helper for generating formal software specifications and does not ask for hidden access, persistence, or automatic execution.
Reasonable to install as a formal-specification assistant. Use it with source code, tests, and requirements you are comfortable having analyzed by the agent; review generated contracts before relying on them for verification or security guarantees.
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.