program-correctness-prover
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: No malicious patterns, hidden commands, or security risks were identified within the skill's logic or reference documentation. The skill processes user-provided programs and specifications (Ingestion points: SKILL.md); while it lacks explicit boundary markers or sanitization, it possesses no dangerous capabilities like subprocess execution, file system writes, or network access (Capability inventory: text generation only), rendering the indirect injection surface safe.
- [PROMPT_INJECTION]: The skill does not contain any instructions intended to bypass AI safety guardrails, extract system prompts, or override agent behavior.
- [DATA_EXFILTRATION]: No network requests, external URL calls, or sensitive file path accesses were detected.
- [REMOTE_CODE_EXECUTION]: The skill does not include any external dependencies, package installations, or remote script execution patterns.
- [NO_CODE]: The skill is composed strictly of markdown documentation and proof templates, containing no functional code or executable scripts.
Audit Metadata