proof-skeleton-generator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: No malicious patterns detected. The skill is composed of informational markdown files and templates for theorem proving assistants.- [NO_CODE]: The skill does not include any executable scripts or binary files, functioning entirely as a text-generation guide for the AI agent.
Audit Metadata