Synthèse automatique
Vérifie qu'un README et ses instructions d'installation, d'exécution et de test fonctionnent réellement depuis un clone neuf, en produisant des preuves structurées et des correctifs minimaux.
Points forts
- Sépare clairement le mode audit (sans exécution) du mode prove (avec exécution), ce qui limite les risques
- Produit un rapport JSON exploitable et un patch de correctifs en dry-run avant toute modification
- Ne rapporte que ce que les preuves soutiennent et marque explicitement les affirmations non prouvées
- Fournit un modèle de GitHub Action pour vérifier en continu la véracité du README
Limites
- Suppose la présence du script scripts/repoproof.mjs dans le dépôt, sans décrire comment l'installer
- Le mode prove exige une approbation explicite de l'utilisateur ou un runner CI, donc inutilisable en autonomie complète
- Ne garantit pas d'isolation forte : l'absence de vrai conteneur ou sandbox OS est reconnue explicitement
À utiliser quand un mainteneur veut démontrer, preuves à l'appui, que les instructions du README fonctionnent sur un clone neuf.
À éviter pour rédiger ou améliorer la prose d'un README, faire une revue de code générale ou une checklist QA sans exécution depuis un clone neuf.
Analyse de sécurité
SûrThe skill is an audit/evidence tool whose default mode is read-only and which explicitly requires opt-in (`--allow-exec`) before executing repository code — that is a well-handled powerful capability rather than a hidden one. The only real risk is that prove mode, once approved, executes untrusted repo scripts, and the referenced helper scripts are not shown, but nothing in the instructions is destructive, obfuscated, or exfiltrating.
- •Prove mode runs `node scripts/repoproof.mjs prove . --allow-exec`, which will execute arbitrary repository install/test/demo code (npm install, test scripts, etc.); this is explicitly gated behind user approval or a CI runner and is off by default.
- •The skill depends on `scripts/repoproof.mjs` and several `references/*.md` files that are not included in the provided SKILL.md, so their actual behavior (redaction, sandboxing claims) cannot be verified from this text alone.
- •No network exfiltration, no curl|sh, no destructive filesystem commands, no secret reading, no safety-disabling instructions; the Safety Rules explicitly forbid publishing/deploying/pushing/merging and reading user secrets.
Exemples
Audit this repository as if I just cloned it: run the repo-proof audit and tell me which README steps for install, run and test are actually supported by evidence.I approve executing the repository code. Run repo-proof in prove mode with --allow-exec and report which README claims held up and which failed.Add a GitHub Action that runs repo-proof on every PR so a broken README install step fails CI, and show me the proposed fixes as a dry-run patch first.name: repo-proof description: Use this skill when a user needs to prove that a repository README or release instructions work from a fresh clone: audit install/run/test/demo steps, create cleanroom evidence, classify README/script/config/package failures, generate minimal fixes, or add a GitHub Action for README truth verification. Do not use for ordinary README writing, generic code review, broad QA checklists, or tasks that do not require repository-grounded fresh-clone evidence.
RepoProof
Prove the repository from the point of view of a new user. Treat the README as a contract, not a suggestion.
Default Workflow
- Run
node scripts/repoproof.mjs audit . --output repoproof-output. - Read
repoproof-output/repoproof-report.jsonbefore drawing conclusions. - If the user explicitly permits execution, run
node scripts/repoproof.mjs prove . --allow-exec --output repoproof-output. - If fixes are requested, run
node scripts/repoproof.mjs fix . --dry-run --output repoproof-outputand inspectrepoproof-fixes.patch. - Report only what the evidence supports. Mark unproven claims as unproven.
Safety Rules
- Audit mode is the default and must not execute repository code.
- Prove mode requires explicit user approval with
--allow-execor a CI runner. - Never publish, deploy, push, merge, or read user secrets.
- Never claim strong sandboxing without a real container, VM, or OS sandbox.
- Use deterministic scripts for evidence collection and redaction.
References
- Read
references/workflow.mdfor the full audit/prove/fix workflow. - Read
references/safety-model.mdbefore executing repository code. - Read
references/extraction-rules.mdwhen README step extraction is ambiguous. - Read
references/fix-policy.mdbefore proposing edits. - Read
references/evidence-schema.mdwhen interpreting reports. - Read
references/github-action.mdbefore adding CI. - Read
references/platform-notes.mdfor Windows, macOS, and Linux differences.
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 annexesCe 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.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/repoproof-mrx3y0sj/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/repoproof-mrx3y0sj' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/repoproof-mrx3y0sj/download' --output '.skill-downloads/repoproof-mrx3y0sj/SKILL.md.part' && mv '.skill-downloads/repoproof-mrx3y0sj/SKILL.md.part' '.skill-downloads/repoproof-mrx3y0sj/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
Le fichier ne fournit pas un en-tête name/description exploitable pour cette procédure native. Le téléchargement reste disponible pour lecture ; utilisez le mode manuel ci-dessous.
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/repoproof-mrx3y0sj/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.
Rédaction de docs Supabase
Documentation
Rédigez, éditez et révisez le contenu de la documentation Supabase : guides, tutoriels, références et partiels. Suivez les guides de style et les règles de validation MDX/TOML.
Créer un enregistrement de décision d'architecture
Documentation
Créer un nouveau ADR avec numérotation séquentielle, l'enregistrer dans le graphe AgentDB et le lier aux ADR associés.
Mise à jour de plan avec recherche approfondie
Documentation
Met à jour un document de plan en lançant des sous-agents en parallèle pour analyser un sujet sur tous les passes du compilateur, puis consolide les résultats.