moonbit-proof
Pass
Audited by Gen Agent Trust Hub on Apr 18, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides structural and naming guidelines for formal verification in MoonBit, which is consistent with its stated purpose.
- [SAFE]: Instructions involve standard local development workflows using the MoonBit toolchain (e.g.,
moon check,moon prove). No unauthorized privilege escalation or persistence mechanisms were found. - [SAFE]: No external network communication, remote code execution, or suspicious third-party dependencies are requested or implemented.
- [SAFE]: No obfuscation, hidden instructions, or prompt injection attempts were identified in the content or metadata.
Audit Metadata