proof-composer
✓Valide toute la chaîne de preuve technique. Vérifie l'architecture, les cartes back-end, le code back-end, la normalisation, les types de front-end, la topologie de l'infrastructure, tous sont correctement composés. Il s'agit du DEPLOYMENT GATE final - déploiement bloqué si chaîne de preuve invalide. À utiliser lorsque le thread d’ingénierie termine toutes les actions.
Installation
SKILL.md
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.
✓ All proofs collected ✓ Version consistency verified ✓ Proof chain validated ✓ No gaps detected ✓ Composition laws hold end-to-end ✓ System proof certificate generated ✓ Deployment authorized ✓
Valide toute la chaîne de preuve technique. Vérifie l'architecture, les cartes back-end, le code back-end, la normalisation, les types de front-end, la topologie de l'infrastructure, tous sont correctement composés. Il s'agit du DEPLOYMENT GATE final - déploiement bloqué si chaîne de preuve invalide. À utiliser lorsque le thread d’ingénierie termine toutes les actions. Source : microck/ordinary-claude-skills.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/microck/ordinary-claude-skills --skill proof-composer- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que proof-composer ?
Valide toute la chaîne de preuve technique. Vérifie l'architecture, les cartes back-end, le code back-end, la normalisation, les types de front-end, la topologie de l'infrastructure, tous sont correctement composés. Il s'agit du DEPLOYMENT GATE final - déploiement bloqué si chaîne de preuve invalide. À utiliser lorsque le thread d’ingénierie termine toutes les actions. Source : microck/ordinary-claude-skills.
Comment installer proof-composer ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/microck/ordinary-claude-skills --skill proof-composer Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/microck/ordinary-claude-skills
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01