用途：审查已有 Motoko 后端的设计质量，判断代码是否设计良好，而非讲解语言写法。语法、mo:core API 与机械规则需另载 writing-motoko；改动稳定状态前需先载 migrating-motoko-actors。
主要能力：按四个问题依次审查——不变量是否编码进类型、状态是否用正确的持久化声明、代码是否放在正确文件、是否读起来像 Motoko。覆盖类型编码（用 Text 表示封闭集合、相关字段、基数错误、错误用 Text、var 字段泄漏到 API、case _ 吞掉变体、透明别名）、状态与持久化（缺少增强迁移、稳定字段内联初始化、transient 误用、var 字段与 mixin 共享、mixin 内稳定状态、迁移卫生）、结构分层（main.mo → mixins/ → lib/ → types.mo 单向依赖）、可维护性与约定。
使用方式：先运行 mops check --fix 做机械检查，再按 mops.toml、结构、types.mo、状态、API 边界、函数体的顺序由外向内阅读。发现按 Blocker、Warning、Note 三级报告，给出 file:line、具体失败后果与修改建议；无问题则如实说明。重构时先批量处理稳定状态类型变更，每个构建只留一个待处理迁移，先移动代码再修改。
适用场景：审查 Motoko canister 后端、生成代码的设计缺陷排查、类型与状态持久化审计。
限制：不教授语言语法；部分风格修复依赖 [moc] args 开启 -W 标志；类型变更若涉及稳定状态需配套迁移，链为单向。具体配置与迁移细节见其 references 与相关技能，资料未提供更多内容。