acsl-annotation-assistant
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill's content is entirely instructional markdown and reference material for the ANSI/ISO C Specification Language (ACSL). It does not contain any malicious patterns or deceptive instructions.
- [NO_CODE]: No executable scripts (Python, JavaScript, Shell, etc.) or binary files are included in the skill. All logic is provided via natural language instructions to the AI agent.
- [COMMAND_EXECUTION]: While the documentation includes examples of Frama-C command-line usage, these are provided as reference for the user and are not executed by the skill itself.
- [DATA_EXFILTRATION]: There are no network-enabled functions, hardcoded credentials, or instructions to access sensitive file system paths.
- [PROMPT_INJECTION]: The skill instructions are focused on formal verification tasks and do not include any patterns intended to override the model's safety guidelines or extract system prompts.
Audit Metadata