agentmods.dev

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.

This repository also configures its own agents. See what safelint tells them →

Open on GitHub

7Stars on the repository

4Mods indexed here, across every type

todayLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

safelint

shelkesays/safelint

Cursor rule Cursor

Run safelint static analysis on the user's project and present Holzmann Power-of-Ten safety violations grouped by file. Use when the user asks for "safelint check", "lint with safelint", "safety review", "Power-of-Ten review", or similar requests for safelint's specific rule set. For generic linting use the project's…

not rated 7 today B 85 tokens original MIT