moonbit-proof

Run `npx skills use "https://github.com/moonbitlang/moonbit-agent-guide" --skill "moonbitlang/moonbit-agent-guide/moonbit-proof"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.

Use the skills in "https://github.com/moonbitlang/moonbit-agent-guide" that are relevant to the current task. Run `npx skills add "https://github.com/moonbitlang/moonbit-agent-guide"` and select the relevant skills, then follow their instructions.