Skills
skills/parcadei/continuous-claude-v3/limits-colimits/Gen Agent Trust Hub

limits-colimits

Pass

Audited by Gen Agent Trust Hub on Apr 5, 2026

Risk Level: SAFE
Full Analysis
  • [SAFE]: The skill contains instructional content for category theory. No evidence of prompt injection, data exfiltration, or malicious obfuscation was found in the provided instructions or metadata.
  • [COMMAND_EXECUTION]: The skill uses lake build for Lean 4 verification and uv run for executing a local SymPy script. These are routine operations for formal verification and mathematical computation and do not represent a security risk in this context.
Audit Metadata
Risk Level
SAFE
Analyzed
Apr 5, 2026, 01:57 PM