404: Not Found
topology-prover
@BellaBe/lean-os6
0
Verify deployed topology matches architecture specification (isomorphism). Validates service existence, dependencies, network connectivity, and resource constraints. Generates deployment-isomorphism.proof for proof-composer. Sub-skill of infrastructure-prover (Step 5.5).
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.