logic-programmer

Pass

Audited by Gen Agent Trust Hub on May 12, 2026

Risk Level: SAFE
Full Analysis
  • [SAFE]: The skill provides conceptual and philosophical guidance for logic programming (Prolog, Datalog, etc.). It does not contain any executable scripts, commands, or automation.
  • [SAFE]: No external dependencies, package installations, or remote code execution patterns were detected.
  • [SAFE]: All referenced URLs point to official, well-known documentation for logic programming tools (SWI-Prolog, W3C, Clingo).
  • [SAFE]: No obfuscation, prompt injection, or data exfiltration vectors were identified.
Audit Metadata
Risk Level
SAFE
Analyzed
May 12, 2026, 04:12 PM
Security Audit — agent-trust-hub — logic-programmer