Vérifier les invariants du dépôt

VérifiéPrudence

Lit .repo-context/invariants.md et exécute chaque invariant vérifiable mécaniquement, en rapportant succès ou échec par invariant.

Spar Skills Guide Bot
TestingDébutant
20/10/2026
Claude Code
#invariants#verification#quality-gate#project-overlay#repo-context

Recommandé pour

Synthèse automatique

Lit le fichier `.repo-context/invariants.md` du projet et exécute chaque invariant disposant d'une commande explicite, en rapportant un résultat réussite/échec pour chacun.

Points forts

  • Périmètre volontairement restreint : seuls les invariants dotés d'une commande explicite sont exécutés
  • Sortie structurée, un verdict pass/fail par invariant, facile à relire avant une PR
  • Identifie explicitement les invariants « aspirationnels » non vérifiables mécaniquement et les ignore au lieu d'inventer un contrôle
  • Chemins présentés relativement au dépôt, ce qui garde le rapport lisible et portable

Limites

  • Efficacité entièrement dépendante de l'existence et de la qualité du fichier `.repo-context/invariants.md`
  • Ne corrige rien : l'outil se contente d'exécuter et de signaler, la remédiation reste manuelle
  • Aucune exécution parallèle, aucun tri par criticité ni gestion des délais n'est décrite
Quand l'utiliser

À utiliser avant de soumettre une PR ou après une modification transverse, pour vérifier d'un coup les règles mécanisables du projet.

Quand l'éviter

À éviter si le dépôt n'a pas de fichier d'invariants ou si vous cherchez un outil qui corrige automatiquement les violations détectées.

Analyse de sécurité

Prudence
Score qualité72/100

The skill contains no destructive, exfiltration, or obfuscated behavior itself, and it sensibly limits scope to explicit commands and repo-relative paths. However, its whole purpose is to execute command lines taken from a repo-controlled markdown file, which is an untrusted input channel; with no declared tools and no confirmation/sandbox guidance this warrants caution rather than a clean 'safe' rating.

Points d'attention
  • •Instruction to execute commands read from a repo file (`.repo-context/invariants.md`) means arbitrary, unaudited shell commands can be driven by repository content (indirect prompt-injection / command-execution surface).
  • •No allowed-tools are declared (no Bash), yet the core instruction is to run commands; the executor's tool grants and the provenance/trust of `invariants.md` should be clarified.
  • •No guidance on sandboxing, confirmation before execution, or handling of destructive commands that might appear in the invariants file.
  • •Instructs the agent to execute shell commands sourced from a repo file (`.repo-context/invariants.md`), so behavior depends entirely on the contents of that file, which may be contributed by others in the repo.
  • •No declared allowed-tools, so the command execution relies on ambient/default tool permissions rather than an explicit, minimal grant.
  • •No guidance to confirm or sandbox commands before running them; a malicious modified overlay could specify destructive commands and they would be executed as 'invariants'.
Comment cette analyse est faite

Exemples

Pre-PR invariant check
Check the invariants defined in .repo-context/invariants.md and give me a pass/fail table before I open this PR.
Verify after refactor
I just refactored the auth module — run every mechanically checkable invariant from the project overlay and tell me which ones fail.
Identify non-checkable rules
Go through .repo-context/invariants.md, run the ones with explicit commands, and list which invariants are aspirational so we can tighten them.

name: check-invariants description: Run mechanically checkable invariants from the project overlay and report pass or fail. disable-model-invocation: true

Check Invariants

Read .repo-context/invariants.md and run each listed check.

Rules

  • Only run invariants with explicit commands.
  • Report pass or fail per invariant.
  • If an invariant is aspirational rather than mechanically checkable, say so and skip it.
  • Use repo-relative paths only when presenting results.

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/check-repository-invariants-mvda86x1/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/check-repository-invariants-mvda86x1' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/check-repository-invariants-mvda86x1/download' --output '.skill-downloads/check-repository-invariants-mvda86x1/SKILL.md.part' && mv '.skill-downloads/check-repository-invariants-mvda86x1/SKILL.md.part' '.skill-downloads/check-repository-invariants-mvda86x1/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/check-repository-invariants-mvda86x1/SKILL.md' && test -s '.skill-downloads/check-repository-invariants-mvda86x1/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/check-invariants' && cp -R '.skill-downloads/check-repository-invariants-mvda86x1' '.claude/skills/check-invariants'

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/check-repository-invariants-mvda86x1'

openskills read 'check-repository-invariants-mvda86x1'

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/check-repository-invariants-mvda86x1/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