reasoning-semiformally

Pass

Audited by Gen Agent Trust Hub on May 7, 2026

Risk Level: SAFE
Full Analysis
  • [SAFE]: The skill provides structured reasoning templates (certificates) designed to improve accuracy in identifying bugs and verifying code patches without any malicious instructions.
  • [SAFE]: No network access, remote code downloads, or unauthorized file system operations were detected within the skill files or templates.
  • [SAFE]: The instructions do not contain prompt injection techniques or any attempts to bypass model safety guardrails or system constraints.
  • [SAFE]: No obfuscation, persistence mechanisms, or privilege escalation patterns were found in the provided markdown or metadata.
  • [SAFE]: The skill lacks access to tools or dangerous capabilities, effectively eliminating the risk of indirect prompt injection being used to execute malicious actions.
Audit Metadata
Risk Level
SAFE
Analyzed
May 7, 2026, 04:35 AM