specify
Generates formal specifications for system components and behaviors using TLA+, SysML, or state machines, ideal for safety-critical systems.
Install this skill
or
100/100
Security score
The specify skill was audited on Feb 21, 2026. Our scanner tested it across 12 threat categories and found no security issues.
Categories Tested
Security Issues
No security issues detected
This skill passed all security checks.
Scanned on Feb 21, 2026
View Security DashboardGitHub Stars 33
Rate this skill
Categoryproduct
UpdatedMay 21, 2026
openclawapiproduct-managertechnical-pmux-designerbackend-developerdata-scientistproductdesigndevelopmentdata analytics
melodic-software/claude-code-plugins