404: Not Found
state-machine-validator
@BellaBe/lean-os7
0
Extract state machines from ADT annotations, validate reachability (all states reachable), determinism (no ambiguous transitions), and completeness (all paths defined). Generates state machine specifications with proofs.
Install Skill
1Download skill
2Enable skills in Claude
Open claude.ai/settings/capabilities and find the "Skills" section
3Upload to Claude
Click "Upload skill" and select the downloaded ZIP file
Note: Please verify skill by going through its instructions before using it.