What is Dialyzer and why use it?

Dialyzer is a static analysis tool for Erlang and Elixir that identifies type errors, dead code, and logical bugs without executing the program, significantly improving code reliability.

How does this skill help with CI/CD?

It provides optimized YAML configurations for GitHub Actions and GitLab CI, including sophisticated caching mechanisms for PLT files to prevent slow build times.

Does it support VS Code and other editors?

The skill provides specific configuration snippets for ElixirLS (VS Code) and coc-elixir (Vim/Neovim) to enable seamless, real-time Dialyzer feedback.

How do I handle slow Dialyzer runs?

This skill guides you through performance optimizations like parallel analysis, incremental mode, and selective path checking to keep your workflow fast.

Can I use this for local development?

Yes, it includes commands for incremental analysis and pre-commit hooks, allowing developers to catch type issues before pushing code.

Dialyzer Integration for Elixir

Name: Dialyzer Integration for Elixir
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

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

This skill provides comprehensive guidance for incorporating Dialyzer into Erlang and Elixir projects, covering everything from initial setup to advanced CI/CD optimization. It enables Claude to assist developers in building and caching Persistent Lookup Tables (PLTs), configuring incremental analysis for faster local development, and implementing robust type-checking pipelines in GitHub Actions or GitLab CI. By offering standardized patterns for IDE integration, pre-commit hooks, and shared team strategies, it ensures consistent code quality and high-performance static analysis across the entire development lifecycle.

Key Features

01Shared PLT strategies to synchronize analysis across team members

02Automated CI/CD configuration for GitHub Actions and GitLab

0395 GitHub stars

04Incremental analysis setup for rapid local development feedback

05Performance optimization techniques for large-scale codebases

06IDE and editor integration patterns for real-time type checking

Use Cases

01Standardizing Dialyzer warnings and configurations across engineering teams

02Optimizing CI/CD build times using advanced PLT caching strategies

03Implementing static type checking in existing Elixir applications

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