Verify & Repair Algebra

Avant de commencer : lis ce prompt d'installation au complet, dis-moi en quelques lignes ce que ce skill fait et ce que son installation implique, et attends mon feu vert avant de faire quoi que ce soit d'autre. Prérequis : aucun pour l'installation elle-même : aucun compte, aucune clé API, aucun service payant, et rien d'autre à installer d'abord. Le skill n'est qu'un guidage de flux de travail (trois fichiers texte). Pour l'utiliser ensuite, il te faut un vérificateur ResiMind à portée de main — une connexion MCP ResiMind disponible ou une commande resimind installée — et ce runtime n'est PAS installé pendant cette installation : l'installer est une étape séparée, seulement si je te le demande plus tard (son cœur roule sur Python 3.10+ ; MCP exige Python 3.11+ et le SDK optionnel ; la référence d'interface l'installe depuis la source de la version publiée sur GitHub, pas depuis PyPI). Périmètre : l'algèbre polynomiale rationnelle bornée seulement — pas le calcul différentiel, pas la démonstration de théorèmes arbitraires, pas la certification d'ingénierie. Installe-moi « verify-and-repair-algebra ». C'est un flux de travail de vérification et de réparation pour l'algèbre polynomiale : vérifier une identité proposée ou chaque étape d'une dérivation avec des preuves de coefficients exactes de ResiMind, signaler la première étape rejetée, proposer une correction à partir de l'écart, et revérifier la réparation contre l'original — au plus trois tentatives de réparation. Dépôt : https://github.com/1105216375-alt/resimind (le skill est tout le dossier skills/verify-and-repair-algebra/ au commit épinglé : SKILL.md, agents/openai.yaml, references/interface.md) Version épinglée : installe le code au commit 4055d9c8a065b687c4b13b04f3094d6c14545db4 exactement. Ne substitue pas une version plus récente. Si ce commit est inaccessible, arrête-toi et dis-le-moi. 1. Clone https://github.com/1105216375-alt/resimind dans un dossier temporaire, place-toi au commit 4055d9c8a065b687c4b13b04f3094d6c14545db4, et copie le dossier skills/verify-and-repair-algebra/ de ce checkout. Compare ensuite chaque fichier du dossier aux empreintes enregistrées pour cette fiche le 2026-10-19 : [FINGERPRINTS] - SKILL.md: SHA-256 55e9fcd39aff8f7626a322579ea7525a7f8921dda445ce2897e9409001bf1bd3 - agents/openai.yaml: SHA-256 a0bb2574670c3081af929648c0d49e129a0284277b7115047a12f9a931fd8be9 - references/interface.md: SHA-256 5fe19aca56788be3094f39f3877e97251d2e89d8a416b916d1f8466fb942bf44 Si un fichier ne correspond pas, il a changé depuis la préparation de la fiche : ne l'installe pas encore, dis-moi ce que tu as trouvé et laisse-moi décider. 2. Lis SKILL.md au complet (et chaque autre fichier du dossier) et dis-moi en mots simples : ce que le skill fait quand on l'utilise, à quels services il se connecte, s'il lit ou envoie des informations personnelles ou des clés, et tout ce qui semble inhabituel. Arrête-toi sur tout signal d'alerte et dis-le-moi avant d'aller plus loin. Confirme ces points à partir des fichiers : - Le dossier du skill contient 3 fichiers seulement : SKILL.md (2 481 octets), references/interface.md (1 658 octets) et agents/openai.yaml (266 octets). Il n'y a aucun code, aucun script et aucune liste de dépendances dans le dossier : SKILL.md est le flux de travail, interface.md est la référence d'installation et de syntaxe des requêtes, et openai.yaml est des métadonnées d'affichage (nom, description courte, prompt par défaut) pour les agents de style OpenAI. - Rien n'est envoyé nulle part pendant l'installation elle-même ; le seul téléchargement à l'installation est le dossier du skill depuis GitHub au commit épinglé. Les fichiers ne nomment aucun compte, aucune clé API, aucune télémétrie et aucun service distant pour l'installation. - À l'usage, le flux de travail conserve l'expression d'origine, les variables déclarées et les hypothèses, et vérifie le travail indépendamment du modèle qui le propose : il utilise les outils que j'ai choisis quand je les précise, sinon une connexion MCP ResiMind disponible ou sa CLI en lignes JSON. Les deux routes ResiMind sont locales (MCP par stdio, ou un objet JSON par ligne sur stdin) et roulent hors ligne, sans clé API de modèle. SKILL.md dit que le flux de travail n'exige ni de publier les entrées de l'utilisateur, ni de modifier la configuration du projet, ni d'envoyer des données à un modèle externe. - La grammaire acceptée est étroite : littéraux entiers, +, -, *, puissances entières non négatives et division par un littéral entier non nul. Les conditions ne sont jamais écartées en silence, et un dénominateur variable n'est jamais transformé en identité polynomiale inconditionnelle. Pour une dérivation en plusieurs étapes, les étapes adjacentes sont vérifiées dans l'ordre et la première étape rejetée est signalée ; si une étape précédente est non résolue, c'est cette incertitude qui est signalée au lieu de certifier le préfixe. Les résultats sont verified (signaler la preuve de coefficients exacte), rejected (utiliser l'écart pour proposer une correction ; expand_polynomial peut fournir des termes creux vérifiés indépendamment), ou unresolved (signaler l'opération non supportée ou la limite de travail ; ce n'est pas une réfutation). Une réparation proposée est revérifiée contre la source d'origine, au plus trois tentatives de réparation, et une vérification algébrique exacte n'est jamais décrite comme une preuve Lean. Les coefficients creux sont des chaînes décimales : garde leurs valeurs exactes. - learn_polynomial n'est utilisé que quand la tâche inclut de retenir ou d'apprendre des règles : une solution vérifiée seule n'établit pas qu'une nouvelle règle a été apprise (inspecte learning.new_rule_ids), un seul processus serveur reste vivant pour l'apprentissage et le rappel parce qu'un redémarrage efface la mémoire locale au processus de cette interface, et un échec de rappel permet un autre solveur mais n'est pas signalé comme une réutilisation de règle réussie. - N'installe pas le runtime ResiMind pendant cette installation. La référence d'interface contient une ligne d'installation pour lui (python -m pip install du tarball de la version publiée https://github.com/1105216375-alt/resimind/archive/refs/tags/v0.16.0.tar.gz dans un environnement isolé approprié — explicitement pas un paquet PyPI supposé), plus un lien vers les instructions de connexion complètes sur GitHub. Ce téléchargement et cette installation arrivent seulement plus tard, et seulement si l'installation de ResiMind fait partie d'une tâche que je te donne vraiment. 3. Quand je dis « yes, install », installe-le comme skill : copie tout le dossier dans le répertoire des skills de l'agent, dans un dossier nommé « verify-and-repair-algebra », en gardant chaque fichier (SKILL.md, agents/openai.yaml, references/interface.md). Les routes amont, npx [email protected] add 1105216375-alt/resimind --skill verify-and-repair-algebra ou un clone manuel suivi de la copie du dossier skills/verify-and-repair-algebra dans ~/.claude/skills/, installent les mêmes trois fichiers ; l'une ou l'autre route convient tant que les fichiers correspondent aux empreintes. 4. Vérifie sans appels réseau : frontmatter valide, fichiers en place. 5. Indique ce qui a été installé, où, et ce qu'il me reste à faire moi-même (par exemple : fournir moi-même une connexion MCP ResiMind disponible ou une commande resimind installée si je veux utiliser le skill — installer ce runtime est une étape séparée avec le téléchargement divulgué ci-dessus, et elle arrive seulement si je le demande ; utiliser le skill est une étape séparée qui ne commence que quand je le demande). GitHub est optionnel : si j'ai un compte GitHub ou la CLI gh, tu peux l'utiliser ; sinon l'accès public suffit. Ne jamais l'exiger sauf s'il figure dans les prérequis ci-dessus. Règles : ne touche à rien en dehors du dossier temporaire et de la cible d'installation. Si quelque chose semble anormal, arrête-toi et demande-moi.