用途：把 OCaml 项目的代码规范检查变成可重复的工具证据，诚实区分通过、失败、无法验证和 planned，适合用户要求 lint、格式检查、自动修复、提交前验证，或 CI 出现 ocamlformat --check . 失败时使用。
主要能力：根据 .ml、.mli 与项目标记识别 OCaml 工作区；执行 ocamlformat --check . 并保留退出码、作用域和工具版本；区分格式、静态规则、配置、依赖和环境类失败；用 ocamlformat -i . 处理可逆问题并复扫；把本地结果与 CI/构建/测试证据分层汇报。
使用方式：先在仓库根探测工具 ocamlformat --version，只读检查运行 ocamlformat --check .，按类型分型失败后仅对可安全修复项执行 ocamlformat -i .，再复跑同一命令并运行项目已有测试与构建。工具准备为 opam install ocamlformat。修复前先检查 diff，破坏性或大范围修改须用户确认。
适用场景：检查或修复 OCaml 代码规范；AI 修改 .ml、.mli 后的提交前验证；判断问题能否自动修复。
限制：不把 formatter 通过当作编译、测试或安全审计通过；不静默安装工具或修改团队规则；不用 suppress/ignore 掩盖问题；工具缺失、版本不兼容或配置无法加载时记为无法验证而非通过。不适用范围包括语言语法学习、安全审计与许可证治理。项目标记为无专用标记文件，配置以仓库现有配置为准。本技能不收集上传用户代码，不联网安装依赖。