Skills Guide

Préparation de preuve

VérifiéSûr

Transformez une intention en une preuve exécutable discriminante avant l'implémentation.

Télécharger et utiliser
Spar Skills Guide Bot
TestingAvancé
30/07/2026
Claude Code
#test-design#executable-proof#oracle-review#workflow-orchestration#candidate-promotion

Recommandé pour

Claude CodeGénération de testsIngénieur QA / test

Synthèse automatique

Conçoit et renforce la preuve exécutable la moins coûteuse qui distingue une intention validée d’une implémentation erronée, avant de construire ou promouvoir un candidat.

Points forts

  • Impose une preuve réellement discriminante, avec des contrôles en sens inverse et une analyse des implémentations fausses réalistes.
  • Sépare l’écriture de la preuve des oracles en lecture seule afin d’éviter les candidats de preuve concurrents.
  • Route explicitement les échecs, comme une preuve faible, une collision d’écriture ou un changement de plan, vers l’étape appropriée.

Limites

  • Dépend de l’existence d’un plan d’issue, d’un contrat directeur et des skills spec-to-test, review-tests et build-candidate.
  • Ne produit pas lui-même l’implémentation ni la preuve : il orchestre leur préparation et leur revue.
  • Suppose une discipline de branche/worktree et un seul rédacteur de preuve à la fois.
Quand l'utiliser

À utiliser lorsqu’une intention est déjà stabilisée et qu’il faut une preuve exécutable avant implémentation ou promotion d’un candidat.

Quand l'éviter

À éviter pour une exploration encore ouverte, un changement trivial sans enjeu de preuve, ou lorsqu’aucun sujet de preuve exécutable n’existe.

Analyse de sécurité

Sûr
Score qualité82/100

This is a process-only skill describing proof/test preparation workflows, routes, and handoffs to other skills. It declares no tools, contains no shell commands, network calls, file mutations, secret handling, or obfuscated payloads, so there is no meaningful execution risk.

Aucun point d'attention détecté

Comment cette analyse est faite

Exemples

Expired token proof
Use prepare-proof for issue #142: an expired token must return 401 without refreshing the session. Produce the cheapest executable proof, challenge it with a realistic wrong implementation, and route the result.
Candidate promotion
Before promoting candidate auth-refresh-v2, prepare proof against the governing contract and current production path. Strengthen any weak proof and stop if the worktree is unsafe.
Weak passing test
The test for SPEC-88 passes, but I don't trust that it fails for the right reason. Use prepare-proof to review the observed execution and add opposite-direction controls before we build.

name: prepare-proof description: Turn settled intent into the cheapest discriminating executable proof before implementation or candidate promotion. argument-hint: "[issue, spec, or candidate]"

Prepare proof

Use the issue plan, governing contract, current semantic owner, production path, existing tests, and independent external authority.

Proof design, independent oracle challenge, realistic wrong-implementation analysis, opposite-direction controls, production-path review, and proof economics may be investigated independently when useful.

When tests, fixtures, schemas, or proof receipts require mutation, use the selected claim's current branch/worktree and one proof writer at a time. Read-only adversaries and oracles return evidence to that writer; they do not create competing proof candidates. Do not inspect sibling worktrees or neighbouring PR overlap merely to reserve a proof surface.

Flow

  1. Resolve current inputs and establish or reuse the current proof candidate/writer when proof artifacts require mutation.
  2. Invoke spec-to-test to materialize and execute the proof.
  3. Invoke review-tests against the observed execution and realistic wrong implementations.
  4. Strengthen and re-execute the proof until adequate.
  5. Continue to build-candidate without routine approval.

Routes

  • PROOF_READY → build-candidate
  • WEAK_PROOF → spec-to-test, then review-tests
  • WRITER_COLLISION / UNSAFE_WORKTREE → preserve the same-candidate mutation hazard
  • PLAN_CHANGED / MATERIAL_PREMISE_CHANGED → prepare-issue
  • MORE_ORACLE_RESEARCH → research, then repeat
  • NO_EXECUTABLE_PROOF_SUBJECT → return to the invoking public flow for proportional candidate/claim review
  • ALREADY_PROVEN → build-candidate
  • NOT_PROVEN → preserve the missing evidence

Du fichier au premier essai

Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.

Consulter la source et ses fichiers annexes

Ce téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.

1. Télécharger le fichier

Télécharger SKILL.md

Depuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/prepare-proof-ms71b33y/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.

Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.

mkdir -p '.skill-downloads/prepare-proof-ms71b33y' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/prepare-proof-ms71b33y/download' --output '.skill-downloads/prepare-proof-ms71b33y/SKILL.md.part' && mv '.skill-downloads/prepare-proof-ms71b33y/SKILL.md.part' '.skill-downloads/prepare-proof-ms71b33y/SKILL.md'

2. Vérifier les prérequis

Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.

Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.

Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.

3. Charger la skill

Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.

Claude Code
test -f '.skill-downloads/prepare-proof-ms71b33y/SKILL.md' && test -s '.skill-downloads/prepare-proof-ms71b33y/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/prepare-proof' && cp -R '.skill-downloads/prepare-proof-ms71b33y' '.claude/skills/prepare-proof'

OpenSkills

OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.

Installation officielle d’OpenSkills
openskills install './.skill-downloads/prepare-proof-ms71b33y'

openskills read 'prepare-proof-ms71b33y'

La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.

Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.

openskills sync

Mode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.

4. Faire un premier essai

Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :

Lis .skill-downloads/prepare-proof-ms71b33y/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.

Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.

Skills similaires

Comparaison de performances ClickHouse

Testing

Évaluez les résultats de tests de performance ClickHouse, analysez les régressions de PR, comparez avec l'historique et vérifiez la fiabilité des mesures.

Claude CodeintermediateSûr 49,547
Skills Guide Bot

Analyse des rapports de performance CI

Testing

Analyse les rapports de comparaison de performance CI pour une PR ClickHouse. Recoupe l'historique master pour distinguer les vraies régressions des tests instables.

Claude CodeintermediateSûr 49,516
Skills Guide Bot

Méthode Santa

Testing

Vérification adversarial multi-agents avec deux réviseurs indépendants. La sortie est vérifiée deux fois et corrigée itérativement jusqu'à ce que les deux acceptent avant publication.

Claude CodeCodexCursorintermediateSûr 244,766
Skills Guide Bot