proof-composer

Name: proof-composer
Rating: 3.15 (3 reviews)
Author: Microck

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. Use when engineering thread completes all actions.

TL;DR

Final deployment gate validating entire engineering proof chain.

What Is It

Validates architecture, backend, frontend, and infrastructure proofs
Ensures all proofs compose into a system-wide proof
Authorizes deployment only with valid, consistent proofs
Final step in engineering proof chain

Key Features

Verifies version consistency across all proofs
Checks for missing or incomplete proofs
Validates proof chain composition order
Generates composed proof certificate
Blocks deployment on invalid chain
Critical: deployment blocked if proof chain invalid

How to Use

1.Collect all proofs from previous skills
2.Verify version consistency with specification manifest
3.Validate proof chain integrity and completeness
4.Generate and issue composed proof certificate
5.Deploy only if composed proof is valid

Guardrails & Gotchas

Critical: deployment blocked if proof chain invalid
Must use same spec version across all proofs
Missing proofs or gaps prevent deployment
No deployment without valid composed proof

GitHub Stats

Author

@Microck

Repository

Microck/ordinary-claude-skills

Stars

Explore More Skills

move-code-quality

@davila7

Analyzes Move language packages against the official Move Book Code Quality Checklist. Use this skill when reviewing Move code, checking Move 2024 Edition compliance, or analyzing Move packages for best practices. Activates automatically when working with .move files or Move.toml manifests.

12.4k

1.1k

1w ago

proof-composer

Explore More Skills

move-code-quality

e2e-testing-patterns

testing-anti-patterns