Can I integrate this into my existing GitHub Actions workflow?

Yes, it includes ready-to-use YAML snippets for GitHub Actions that handle dependency caching and PLT generation.

How does this skill handle long Dialyzer build times?

It provides configurations for incremental analysis and PLT caching strategies that significantly reduce the time spent on repeated analysis runs.

What is the baseline approach mentioned in the skill?

The baseline approach allows you to record existing warnings in a legacy project so you can focus on preventing new errors without being overwhelmed by technical debt.

Does this skill help with IDE configuration?

Absolutely. It covers setup for ElixirLS in VS Code and Vim/Neovim to surface Dialyzer warnings directly in your editor.

Dialyzer Integration

Name: Dialyzer Integration
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

Integrates Dialyzer static analysis into Elixir and Erlang workflows to ensure type safety and catch bugs automatically.

The Dialyzer Integration skill equips Claude with the expertise to implement robust static analysis for Elixir and Erlang projects using Dialyzer. It provides comprehensive patterns for local development setup, including PLT (Persistent Lookup Table) management and incremental analysis to speed up workflows. The skill also covers advanced CI/CD configurations for GitHub Actions and GitLab CI, IDE integrations for VS Code and Vim, and the implementation of pre-commit hooks. By following these best practices, developers can enforce type safety, identify unreachable code, and maintain high code quality across team-based environments.

Key Features

01Incremental analysis and PLT caching strategies for faster execution

02Git hook implementation for pre-commit type validation

03IDE integration guides for ElixirLS and Neovim

04Performance optimization techniques for large-scale BEAM applications

05Automated CI/CD pipeline configurations for GitHub Actions and GitLab CI

0672 GitHub stars

Use Cases

01Standardizing code quality checks across a team using shared baseline and configuration files

02Optimizing slow CI/CD build times using advanced PLT caching and incremental modes

03Implementing static analysis in a new Elixir project to identify type errors early

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add thebushidocollective/han dialyzer-integration

For use in Claude.ai and ChatGPT

Download Skill