Security audit
openmath-rocq-theorem
Security checks across malware telemetry and agentic risk
Overview
This markdown-only Rocq theorem helper is coherent and uses local build/dependency commands that fit its stated purpose.
Install this only for Rocq/OpenMath theorem work. Run it in the intended theorem workspace, review any project opam file before installing dependencies, and prefer an isolated opam switch for unfamiliar projects.
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.
Static analysis
No suspicious patterns detected.