用途
该技能用于在编写、实现或审查代码时应用严谨的编码标准。根据资料描述，其适用场景包括：编写代码、实现功能以及代码审查。
主要要求
资料中列出了若干具体准则：
- 在陈述假设之前不要编写代码（Do not write code before stating assumptions）。
- 不要声称未经你验证的正确性（Do not claim correctness you haven't verified）。
- 不要只处理顺利路径（Do not handle only the happy path）。
使用方式
资料中给出的提示性问题为：在什么条件下这能生效？（Under what conditions does this work?）这提示使用者需要明确代码生效的前提条件。
适用场景
适用于编写代码、实现功能、审查代码的开发流程。
限制
资料未提供该技能的具体实现方式、安装命令、依赖平台、代码示例、收费模式或效果数据，这些内容暂未提供。