404: Not Found
system-architect
@BellaBe/lean-os7
0
Transform natural language requirements into mathematically verified specifications with proofs. Use when building new systems or features from requirements documents. Orchestrates 9 sub-skills to produce ADT specifications, type proofs, categorical architecture, API specs, and version migration strategies.
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.