Lean Proof To Code Translator C Rust Wasm

• Outcome: Pass
• Latest audit: Jun 10, 2026 at 1:25 AM UTC
• Version:
  1.0.1

Overview

The skill is a disclosed AgentPMT remote tool guide for converting specific Lean proof archives into C, Rust, or Wasm artifacts, with no hidden local execution or persistence found.

Install this only if you intend to use AgentPMT to process Lean source archives. Before running actions, confirm the request is specifically about Lean proof export/code generation, review any source archive before upload, and remember that each action is priced in credits.

SkillSpector

By NVIDIA

Vulnerability Patterns

• Trigger Abuse: Overly Broad Trigger, Shadow Command Trigger, Keyword Baiting Trigger
• Prompt Injection: Instruction Override, Hidden Instructions, Exfiltration Commands
• Data Exfiltration: External Transmission, Env Variable Harvesting, File System Enumeration
• Privilege Escalation: Excessive Permissions, Sudo/Root Execution, Credential Access
• Supply Chain: Unpinned Dependencies, External Script Fetching, Obfuscated Code

Findings (1)

Vague Triggers

Medium

• Confidence: 86% confidence
• Finding: The skill advertises activation keywords that include a very generic term, which can cause the skill to be selected in unrelated contexts. Because this skill initiates remote tool calls, unintended activation could result in unnecessary external requests, accidental file submission, or use of a paid/code-generation workflow when the user did not intend it.

VirusTotal

64/64 vendors flagged this skill as clean.