404: Not Found
type-correspondence-prover
@BellaBe/lean-os7
0
Verify bijection between OpenAPI schemas and TypeScript types. Proves type correspondence (no information loss). Checks all endpoints covered. Generates correspondence proof. Sub-skill of frontend-prover.
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.