PyPI
shelkesays/safelint
SafeLint enforces safety-critical coding practices inspired by Gerard J. Holzmann’s “Power of Ten” rules, adapted for modern AI-assisted software development.
MITOct 9, 2026 · metrics 2.10.0
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.