shelkesays

shelkesays/safelint

Skill Claude CodeCodex

Run safelint static analysis on the user's project and present Holzmann Power-of-Ten safety violations grouped by file. Supports any language registered with safelint (Python, JavaScript, TypeScript including TSX / AssemblyScript, Java, Rust, Go, PHP, C, and C++ today; more can be added). Use this for "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…