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
uvrunner to execute local Python scripts located in ascripts/directory. These commands are restricted to mathematical computations and formal verification tasks.
Audit Metadata