Skill Claude CodeCodex
Use when adding support for a NEW LANGUAGE (Go, C, C++, PHP, ...) or a NEW FRAMEWORK / RUNTIME PRESET (like spring-boot or the JS runtimes) to safelint itself. Walks the complete development checklist so nothing is missed - registry, rule audit, tests, docs, config examples, bundled skill files, drift tests, counts.…
Instructions file
Instructions for shelkesays/safelint, covering claude.md, project overview, common commands, install with dev extras (pre-commit, pytest, ruff, ty) and or: pip install -e ".[dev]".
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…
Cursor rule
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…