gateway-dialyzer
CommunityStrengthen Erlang gateway with dialyzer checks.
Software Engineering#erlang#type-safety#static-analysis#quality-assurance#dialyzer#gateway#build-system
AuthorTr3kkR
Version1.0.0
Installs0
System Documentation
What problem does it solve?
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.
Core Features & Use Cases
- Mandatory post-edit checks: Enforces dialyzer analysis to detect -spec violations, unreachable patterns, dead code, missing transitive dependencies, and opaque type leaks.
- PLT management guidance: Guides creation and maintenance of the PLT to keep dialyzer fast and accurate across OTP versions and dependencies.
- Workflow discipline: Advocates running compile, unit tests, and dialyzer checks in a disciplined sequence for safe merges.
Quick Start
From the repo root, run the dialyzer workflow after gateway Erlang edits to catch type issues before commit.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: gateway-dialyzer Download link: https://github.com/Tr3kkR/Yuzu/archive/main.zip#gateway-dialyzer Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.