Security audit
fake-math-proof-audit
Security checks for vulnerabilities and agentic risk
Overview
This skill is a focused markdown-only guide for checking mathematical proof arguments and does not request sensitive access or perform actions on the user's system.
This appears safe to install for proof-review help. Users should understand it applies a humorous named taxonomy to mathematical arguments, so its output should be treated as analytical feedback rather than a formal verification system.
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
Static analysis
No suspicious patterns detected.