Every premium and members-only resource for $9.99/month, as a no-commitment subscription. See the plans

PalateKit

Sign in
Menu

Request a resource

Describe the resource you are missing in one sentence. We will email you when it is published.

0 / 280

A page, a video or an image online.

Unlock PalateKit

Unlock everything

Plan

Paying means accepting our terms of sale.

Secure payment by Stripe. Receipts and invoices sent by email.

Welcome back

Sign in to install, download or save this resource. A free account is enough for free resources.

Dialyzer analysis: warnings and specs v1.0.0

Use this resource to analyze and fix Dialyzer warnings in an Erlang or Elixir project

New

  • 349 downloads
  • 110 likes
  • 221 saves

Free

Install with the CLI

In a terminal, from the folder you want:

npx --yes palatekit@latest install dialyzer-warning-analysis

With no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.

First time: connect the CLI with

npx --yes palatekit@latest login

The agent adds or corrects @spec and @type definitions, then handles common warnings: non-exhaustive patterns and functions with no local return. You get code whose types are checked statically.

Mostly picked by

Updated November 2, 2026

Card for the “Dialyzer analysis: warnings and specs” skill

Details

Works in
Install guides
Generates with
Your agent's model
Licence
Apache-2.0

Similar resources

View all

What you get

  • SKILL.md : specs, complex types and generic types
  • SKILL.md : pattern match coverage warnings
  • SKILL.md : functions with no local return and fixes with specs

Good fit for

  • Dialyzer reports type inconsistencies in a module
  • You want to document the contracts of public functions

Not for

    Tags

    • dialyzer
    • elixir
    • erlang
    • types

    About

    You say

    “Analyze the Dialyzer warnings of my payment module and add the missing specs.”

    Card for the “Dialyzer analysis: warnings and specs” skill

    Skill published by thebushidocollective under the Apache-2.0 license, delivered in its original version.

    Show more

    How to use it

    1. Install the skill in your agent's skills folder
    2. Ask your agent to analyze and fix Dialyzer warnings in an Erlang or Elixir project
    3. Review and adjust the result

    Content preview

    Files

    • LICENSE3.8 KB
    • NOTICE-PALATEKIT.md0.5 KB
    • SKILL.md3.5 KB

    Origin and licence

    Listed unmodified

    Author
    thebushidocollective
    Source
    github.com/thebushidocollective/han/tree/19caa51d5fd144ef6b2764f2332f4c856aa5d1af/plugins/validation/dialyzer/skills/dialyzer-analysis
    Licence
    Apache-2.0

    Notice

    « dialyzer-analysis » (thebushidocollective, Apache-2.0) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    User reviews

    –

    No ratings yet

    Loading reviews…

    Delete your review?

    Your rating and comment will be removed from the page.