tactic-suggestion-assistant
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The analyzed files consist exclusively of Markdown documentation and instructional templates. There are no executable scripts (.sh, .py, .js), configuration files with sensitive data, or binary assets.
- [NO_CODE]: No code or scripts are included in the skill. The instructions guide the AI to generate text-based suggestions for formal verification tactics, which are intended to be used by a human user in their own local proof environment.
- [PROMPT_INJECTION]: A review of the instructions in SKILL.md and the reference files found no attempts to bypass safety filters, override system prompts, or extract internal instructions. The instructions are strictly limited to the task of proof state analysis.
Audit Metadata