404: Not Found
runtime-monitor-generator
@BellaBe/lean-os7
0
Inject runtime verification guards into generated code. Creates type validators, composition guards, state machine guards, and observability hooks. Provides defense-in-depth by validating mathematical properties during execution. Sub-skill of backend-prover Phase 2.
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.