SafeLint enforces safety-critical coding practices inspired by Gerard J. Holzmann’s “Power of Ten” rules, adapted for modern AI-assisted software development.
Latest release v2.14.3 · 4 Oct 2026
2 files for Claude Code: add-language-support, safelint CLAUDE.md — 5,456 tokens loaded in every session.
CLAUDE.md A 5,456 tok .claude/skills/add-language-support/SKILL.md A 91 tok These files are shelkesays/safelint's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.