Documentation/Validation/Dialyzer
✅

Dialyzer

v1.10.0

Advanced Dialyzer skills for static analysis of Erlang/Elixir code

validationskillhook

Installation

Install han binary (required for hooks to work):

curl -fsSL https://han.guru/install.sh | bash

Then install this plugin:

han plugin install dialyzer

Overview

Advanced Dialyzer skills for static analysis of Erlang and Elixir code.

Skills

  • dialyzer-configuration: PLT management, analysis flags, warning filters
  • dialyzer-analysis: Type specifications, common warnings, success typing
  • dialyzer-integration: CI/CD setup, IDE integration, team workflows

Hooks

  • Stop/SubagentStop: Runs mix dialyzer validation on all Elixir projects

Installation

Install with npx (no installation required):

bash
han plugin install jutsu-dialyzer

Usage

The Dialyzer hook automatically runs when you complete a task, checking for type errors and discrepancies in your Elixir code.

Requirements

  • Elixir project with mix.exs
  • dialyxir dependency in mix.exs

Skills

📖

dialyzer-analysis

Use when analyzing and fixing Dialyzer warnings and type discrepancies in Erlang/Elixir code.

📖

dialyzer-configuration

Use when configuring Dialyzer for Erlang/Elixir type checking and static analysis.

📖

dialyzer-integration

Use when integrating Dialyzer into development workflows and CI/CD pipelines for Erlang/Elixir projects.

Hooks

⚠ī¸

Token Usage Notice

Hooks run automatically during Claude Code sessions and their output is sent to the model for processing. This may increase token usage and associated costs. Consider disabling hooks you don't need via han-config.yml.

🛑

Stop

Runs when the main Claude Code agent has finished responding. Can verify task completion, check quality gates, or ensure documentation requirements are met before the session ends.

mix dialyzer --plt