404: Not Found
morphism-specifier
@BellaBe/lean-os8
0
Define operations as morphism signatures in services.spec.yaml. Use after type-synthesizer to convert domain operations into typed morphisms with domain, codomain, and composition requirements. Creates base services.spec.yaml without effectsâeffect-analyzer enriches later.
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.