library-advisor
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists entirely of documentation, workflow instructions, and reference guides for formal verification libraries (Isabelle/HOL and Coq).
- [NO_CODE]: There are no executable scripts (Python, JavaScript, shell) included in the skill. All logic is contained within natural language instructions for the AI agent.
- [PROMPT_INJECTION]: No evidence of prompt injection, bypass attempts, or role-play instructions was found. The instructions are focused on analyzing proof goals and recommending lemmas.
- [DATA_EXFILTRATION]: No network operations, hardcoded credentials, or access to sensitive file paths were detected.
- [REMOTE_CODE_EXECUTION]: No remote downloads or execution patterns were identified. All references are local Markdown files.
Audit Metadata