The Agent Skills Directory

[SAFE]: The skill consists exclusively of Markdown documentation and configuration metadata. It does not contain any executable scripts, binaries, or automated tasks.
[SAFE]: All code snippets provided are illustrative examples of MoonBit syntax for formal verification (e.g., predicates, lemmas, invariants, and proof assertions). These examples are used to guide the user in writing verified code and do not perform any hidden or dangerous operations.
[SAFE]: The skill references standard development commands such as moon check, moon prove, and moon test. These are official CLI tools for the MoonBit ecosystem and are used as intended for language-specific development and verification workflows.
[SAFE]: No network operations, sensitive file access, or obfuscation techniques were detected. The skill is entirely focused on providing structural and naming conventions for software verification.

moonbit-proof