GratuitSkills
Commits, branches et synchronisation avec la CLI but
- 361361 téléchargements
- 198198 mentions J'aime
- 103103 sauvegardes
Compatible avec
- Claude Code
- Codex
- Cursor
- et 3 autres
Analyse Dialyzer : avertissements et specs v1.0.0
Utilisez cette ressource pour analyser et corriger les avertissements Dialyzer d'un projet Erlang ou Elixir
Nouveau
- 349 téléchargements
- 110 mentions J'aime
- 221 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install dialyzer-warning-analysisSans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent ajoute ou corrige les @spec et les @type, puis traite les avertissements courants : motifs non exhaustifs et fonctions sans retour local. Vous obtenez un code dont les types sont vérifiés statiquement.
Choisie surtout par
Mise à jour le 2 novembre 2026
Aperçus
Caractéristiques
- Fonctionne dans
- Guides d'installation
- Génère avec
- Le modèle de votre agent
- Licence
- Apache-2.0
Ressources similaires
Tout voir- Gratuit
GratuitSkills
Guide de la CLI Sentry
- 525525 téléchargements
- 117117 mentions J'aime
- 128128 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Bonnes pratiques Drizzle ORM avec PostgreSQL
- 407407 téléchargements
- 194194 mentions J'aime
- 151151 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Assistant de conception de SLO
- 537537 téléchargements
- 105105 mentions J'aime
- 242242 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
User stories de sprint
- 451451 téléchargements
- 150150 mentions J'aime
- 132132 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Plan de sprint réaliste
- 423423 téléchargements
- 192192 mentions J'aime
- 102102 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Conseiller CTO de startup
- 580580 téléchargements
- 201201 mentions J'aime
- 242242 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Création de pull requests GitHub avec contrôles qualité
- 427427 téléchargements
- 230230 mentions J'aime
- 196196 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : specs, types complexes et types génériques
- SKILL.md : avertissements de couverture des motifs
- SKILL.md : fonctions sans retour local et corrections avec spec
Pour qui
- Dialyzer signale des incohérences de types dans un module
- Vous voulez documenter les contrats des fonctions publiques
Pas pour qui
Étiquettes
- dialyzer
- elixir
- erlang
- types
À propos
Vous dites
« Analyse les avertissements Dialyzer de mon module de paiement et ajoute les specs manquantes. »
Skill publiée par thebushidocollective sous licence Apache-2.0. Fichiers livrés dans leur version d'origine, en anglais.
Voir plusVoir moins
Comment l'utiliser
- Installez la skill dans le dossier de skills de votre agent
- Demandez à votre agent de analyser et corriger les avertissements Dialyzer d'un projet Erlang ou Elixir
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE3,8 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md3,5 Ko
Origine et licence
Référencée sans modification
- Auteur
- 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.
Avis des utilisateurs
–
Aucune note pour l'instant
Chargement des avis…