SKILL_MD
28
Use when the user wants contract-first development — define correctness before coding, implement against a contract, audit with multiple models, and package proof artifacts.
Coding / 软件开发Safe-ishScanned
heurema
1 skills Unclaimed
1 skills Unclaimed
Use when the user wants contract-first development — define correctness before coding, implement against a contract, audit with multiple models, and package proof artifacts.