404: Not Found
backend-prover
@BellaBe/lean-os7
0
Two-phase backend implementation generator with mathematical correctness guarantees. Phase 1 generates and verifies code maps (~300 lines, structural verification). Phase 2 generates implementation from verified maps (5000+ lines, mechanical). Use when engineering thread requests backend implementation from system-architect specifications.
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.