404: Not Found
proof-obligation-generator
@BellaBe/lean-os8
0
Generate type-level proof obligations from constraints and categorical structure. Outputs types.curry-howard defining dependent types, invariant proofs, and categorical law obligations. Creates the bridge between specification and formal verification in Lean 4.
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.