该技能用于审查 Elixir 代码的惯用写法、OTP 基础与文档质量,适用于检查 .ex/.exs 文件、模式匹配与 GenServer 用法等场景。
用途与检查范围:其快速参考按问题类型指向 references/code-style.md(命名、格式、模块结构)、references/pattern-matching.md(with 子句、守卫、解构)、references/otp-basics.md(GenServer、Supervisor、Application)和 references/documentation.md(@moduledoc、@doc、@spec、doctest)。
主要能力:审查清单覆盖代码风格(模块名 CamelCase、函数名 snake_case、管道链以原始数据开头、私有函数排在公有函数之后等)、模式匹配(优先模式匹配而非条件分支、with 需有 else 处理错误、守卫替代运行时检查)、OTP 基础(handle_continue 处理昂贵初始化、合理重启策略、回调中避免阻塞、call 与 cast 的取舍)、文档(公有函数需 @doc 与 @spec、模块需 @moduledoc、纯函数适合 doctest)及安全(用户输入禁止 String.to_atom/1、禁止对不可信输入用 Code.eval_string/1、:erlang.binary_to_term/1 需带 :safe)。
使用方式:根据审查内容加载对应参考文件;提交发现前须按顺序通过门禁,包括加载 review-verification-protocol 并逐类应用其检查、为每条发现提供 path:line 或 Module.function/arity 加引文的具体定位、对外部断言附上支撑证据或降级为明确疑问。
限制:资料未提供安装命令、收费方式或运行环境要求,暂未提供。