saf-feature-dev
OfficialStructured workflow for SAF feature development
AuthorStatic-Analyzer-Factory
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill provides a disciplined, end-to-end workflow for SAF feature development, ensuring deterministic, AIR-only analysis and reproducible results across frontends, core analysis, Python SDK, and CLI work.
Core Features & Use Cases
- 8-phase development workflow: from planning through wrap-up with artifacts like PROGRESS updates and traceable decisions.
- Invariant enforcement: hard rules for determinism, AIR-only IR, and deterministic IDs to ensure cross-crate stability.
- Guided exploration & validation: tool-mapped prompts, references, and checklists to structure exploration, design, testing, and review.
- Use Case: when adding a new feature (e.g., a frontend or Python SDK extension), follow this workflow to plan, implement, test, and document changes, with dockerized experiments and CI-friendly steps.
Quick Start
Follow the eight-phase SAF feature development workflow to plan and implement SAF features from inception through validation.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: saf-feature-dev Download link: https://github.com/Static-Analyzer-Factory/static-analyzer-factory/archive/main.zip#saf-feature-dev Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.