Identifies and resolves Dialyzer warnings and type discrepancies in Erlang and Elixir codebases.
Dialyzer Analysis is a specialized Claude Code skill designed to interpret and fix complex static analysis warnings in Erlang and Elixir environments. It provides domain-specific expertise for implementing robust type specifications (@spec), defining custom types (@type), and resolving common Dialyzer issues like non-exhaustive pattern matches or unmatched returns. By applying success typing principles, this skill helps developers create more predictable, maintainable, and error-free functional code while ensuring that type contracts align with actual implementation behavior.
