Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →microck/proof-composer
Validates entire engineering proof chain. Verifies architecture, backend maps, backend code, standardization, frontend types, infrastructure topology all compose correctly. This is the final DEPLOYMENT GATE - deployment blocked if proof chain invalid.
Passed 5 of 10 test cases with the skill, and 1 of 10 without it.
and 14 more in the full report
9 fixed2 passed either way10 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 8 test cases the skill fixed. Same model, same prompt, with and without the skill.
The backend map validation report at `artifacts/engineering/proofs/backend/map-validation/validation-report.json` contains `status: 'invalid'`. Evaluate the proof chain state and output the final composition JSON certificate.
| Checked | Without skill | With skill |
|---|---|---|
| Set maps_validated under individual_proofs.backend to false. | Missed | Passed |
| Include an error object with type set to invalid_backend_maps. | Missed | Passed |
The instructions your model reads when the skill loads.
Validate entire engineering proof chain and authorize deployment. This is the final deployment gate - nothing deploys without a valid composed proof.
Key insight: Each skill generates local proofs. proof-composer verifies they compose into a valid system-wide proof.
Process:
You are skill #6 of 6 (FINAL GATE):
All proofs from previous skills:
artifacts/engineering/proofs/
├── architecture/
│ ├── adt-correctness/
│ ├── functor-laws/
│ ├── composition-correctness/
│ ├── state-machines/
test cases passed, vs 1 / 10 without
More skills from the same source and nearby in the registry, with their headline benchmark lift.