specify
Generates formal specifications for system components and behaviors using TLA+, SysML, or state machines, ideal for safety-critical systems.
Install this skill
or
specify1 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!
GitHub Stars 33
Rate this skill
Categoryproduct
UpdatedMay 21, 2026
openclawapiproduct-managertechnical-pmux-designerbackend-developerdata-scientistproductdesigndevelopmentdata analytics
melodic-software/claude-code-plugins