openmath-open-theorem
Security checks across malware telemetry and agentic risk
Overview
This skill is a coherent OpenMath helper that fetches theorem data and creates local proof scaffolds, with ordinary network and file-writing risks that are disclosed.
Install if you are comfortable with Python helper scripts contacting the disclosed OpenMath service and writing local Lean/Rocq scaffold files. Prefer project-scoped config for repository-specific work, review downloaded theorem source before running proof tools, and avoid --force unless the target directory is safe to replace.
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.