lebesgue-measure

Pass

Audited by Gen Agent Trust Hub on Apr 5, 2026

Risk Level: SAFE
Full Analysis
  • [SAFE]: The skill is a legitimate mathematical problem-solving assistant and does not contain any malicious patterns such as prompt injection, data exfiltration, or unauthorized remote code execution.
  • [COMMAND_EXECUTION]: The skill defines several tool commands that use the uv runner to execute local Python scripts located in a scripts/ directory. These commands are restricted to mathematical computations and formal verification tasks.
Audit Metadata
Risk Level
SAFE
Analyzed
Apr 5, 2026, 01:57 PM