Run dialyzer on the Yuzu Erlang gateway to detect type violations.
npx skills add https://github.com/Tr3kkR/Yuzu --skill gateway-dialyzer
Please help me install this Agent Skill. Skill: gateway-dialyzer Source: https://github.com/Tr3kkR/Yuzu/tree/main/.claude/skills/gateway-dialyzer Command: npx skills add https://github.com/Tr3kkR/Yuzu --skill gateway-dialyzer
Runbook ensures static type analysis is applied to the Yuzu Erlang gateway after edits, catching dialyzer warnings and type-clarity issues that the compiler may miss.
From the repo root, run the dialyzer workflow after gateway Erlang edits to catch type issues before commit.
High-intent search queries and answers about installing and using this skill.
To run dialyzer checks on Erlang gateway code, execute the dialyzer workflow from the repository root after making edits to detect type violations before committing. This enforces static type analysis to catch issues the compiler misses.
Dialyzer catches -spec violations, unreachable patterns, dead code, missing transitive dependencies, and opaque type leaks in an Erlang gateway build. It performs static analysis to identify type-clarity issues that the standard compiler may overlook.
Maintain the PLT for dialyzer by updating it across OTP versions and dependencies to ensure fast and accurate analysis. Proper PLT management guidance involves creating and updating the persistent lookup table to resolve transitive dependencies.
Dialyzer fails to resolve transitive dependencies when required applications are not listed in the configuration. You must ensure all required applications are listed so dialyzer can accurately resolve transitive dependencies during static type analysis.
The best workflow for safe merges involves running compile, unit tests, and dialyzer checks in a disciplined sequence. This ensures type safety and static analysis are applied to the Erlang gateway before any code changes are merged.
You should run static analysis on your Erlang gateway project immediately after making gateway Erlang edits. Mandatory post-edit checks ensure dialyzer catches type violations and spec issues early, maintaining code quality before commit.
TheBushidoCollectiveConfigure Dialyzer PLT management and analysis flags for Erlang/Elixir projects.
mkreymanRun Mix-based quality checks for Elixir/Phoenix projects.
TheBushidoCollectiveDiagnose and fix Dialyzer warnings and type discrepancies in Erlang and Elixir code.
TheBushidoCollectiveIntegrate Dialyzer into Elixir CI/CD pipelines and local workflows.
