Formula Derivation Package - **name_fr:** Package de dérivation de formules - **tl_en:** Turn scattered research equations into an honest, coherent derivation package — or a blocker report - **tl_fr:** Transformer des équations de recherche éparses en un package de dérivation honnête et cohérent — ou un rapport de blocage - **creator:** @wanshuiyin - **type:** Agent skill - **url:** https://github.com/wanshuiyin/auto-claude-code-research-in-sleep - **cat:** Research - **kws:** research, formulas, derivation, theory, mathematics, paper, coherence, equations - **license:** MIT **Description EN:** Curated by Skill Harbor — structures research formula derivation into exactly one output: a coherent derivation package for the original target, a reframed package with corrected object/assumptions/scope, or a blocker report explaining why the current notes cannot yet support a coherent derivation. It extracts and normalizes the target phenomenon, the intended role of the derivation (exact identity, proposition, approximation, mechanism interpretation), explicit assumptions, notation and definitions — and if anything is ambiguous, it states its exact interpretation before deriving anything. Honesty over polish is the design principle: no fake polished theorem stories. By @wanshuiyin, listed here with credit to its creator. Honest caveats: output quality depends entirely on your input notes — feed it your problem, goal and current formulas; it may legitimately return a blocker report instead of a derivation, and that is the feature, not a failure; it reads and writes files in the working directory. Skill Harbor never reviews the code, review it yourself before use. Discovered via skills.sh. **Description FR:** Sélectionné par Skill Harbor — structure la dérivation de formules de recherche en exactement une sortie : un package de dérivation cohérent pour la cible originale, un package recadré avec objet/hypothèses/périmètre corrigés, ou un rapport de blocage expliquant pourquoi les notes actuelles ne peuvent pas encore supporter une dérivation cohérente. Il extrait et normalise le phénomène cible, le rôle visé de la dérivation (identité exacte, proposition, approximation, interprétation de mécanisme), les hypothèses explicites, la notation et les définitions — et si quelque chose est ambigu, il énonce son interprétation exacte avant de dériver quoi que ce soit. L'honnêteté avant le poli est le principe de design : pas de faux récits de théorèmes vernis. Crédit : @wanshuiyin. Bémols honnêtes : la qualité de sortie dépend entièrement de vos notes d'entrée — donnez-lui votre problème, objectif et formules actuelles ; il peut légitimement retourner un rapport de blocage au lieu d'une dérivation, et c'est la fonctionnalité, pas un échec ; il lit et écrit des fichiers dans le répertoire de travail. Skill Harbor ne vérifie jamais le code, examinez-le vous-même avant usage. Découvert via skills.sh. **Install prompt EN:** ``` Prerequisites: research notes to work from — a problem, a goal and your current formulas or draft; an agent able to read/write/edit files in the working directory Install "Formula Derivation Package" for me. Give my agent the formula-derivation methodology — input extraction and normalization, ambiguity declared up front, exactly one of three outputs (coherent package, reframed package, blocker report) Repository: https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/blob/main/skills/formula-derivation/SKILL.md 1. Fetch the SKILL.md file for the wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation skill from the repository into a temporary folder and summarize what it does in one or two sentences. 2. Safety check: review the SKILL.md for anything suspicious (unexpected network calls, shell commands, credential harvesting). This repo should contain zero secrets in code, credentials only via the secure vault, allowed hosts declared in the SKILL.md. Verify that holds here; STOP on any red flag and tell me. 3. Install it as a skill: copy SKILL.md into the agent's skills directory, in a folder named "wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation". 4. Verify with no network calls: frontmatter valid, files in place. 5. Report what was installed, where, and what I still need to do myself (e.g. point my agent at my notes directory with the problem, goal and current formulas). GitHub is optional: if I have a GitHub account or the gh CLI, you may use it; otherwise public access is fine. Never require it unless it's in the prerequisites above. Rules: don't touch anything outside the temp folder and the install target. If anything looks off, stop and ask me. ``` **Install prompt FR:** ``` Prérequis : des notes de recherche à travailler — un problème, un objectif et vos formules ou brouillons actuels ; un agent capable de lire/écrire/éditer des fichiers dans le répertoire de travail Installe-moi « Package de dérivation de formules ». Donne à mon agent la méthodologie de dérivation de formules — extraction et normalisation des entrées, ambiguïtés déclarées d'avance, exactement l'une des trois sorties (package cohérent, package recadré, rapport de blocage) Dépôt : https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/blob/main/skills/formula-derivation/SKILL.md 1. Récupère le fichier SKILL.md du skill wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation depuis le dépôt dans un dossier temporaire et résume en une ou deux phrases ce qu'il fait. 2. Contrôle de sécurité : examine le SKILL.md pour tout contenu suspect (appels réseau inattendus, commandes shell, récolte d'identifiants). Ce dépôt ne doit contenir aucun secret dans le code ; les identifiants passent uniquement par le coffre sécurisé, les hôtes autorisés sont déclarés dans le SKILL.md. Vérifie que c'est bien le cas ; STOP sur le moindre signal d'alerte et préviens-moi. 3. Installe-le comme skill : copie SKILL.md dans le répertoire des skills de l'agent, dans un dossier nommé « wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation ». 4. Vérifie sans aucun appel 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 (p. ex. pointer mon agent vers mon répertoire de notes avec le problème, l'objectif et les formules actuelles). 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 si c'est 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. ``` ---

Transformer des équations de recherche éparses en un package de dérivation honnête et cohérent — ou un rapport de blocage - **creator:** @wanshuiyin - **type:** Agent skill - **url:** https://github.com/wanshuiyin/auto-claude-code-research-in-sleep - **cat:** Research - **kws:** research, formulas, derivation, theory, mathematics, paper, coherence, equations - **license:** MIT **Description EN:** Curated by Skill Harbor — structures research formula derivation into exactly one output: a coherent derivation package for the original target, a reframed package with corrected object/assumptions/scope, or a blocker report explaining why the current notes cannot yet support a coherent derivation. It extracts and normalizes the target phenomenon, the intended role of the derivation (exact identity, proposition, approximation, mechanism interpretation), explicit assumptions, notation and definitions — and if anything is ambiguous, it states its exact interpretation before deriving anything. Honesty over polish is the design principle: no fake polished theorem stories. By @wanshuiyin, listed here with credit to its creator. Honest caveats: output quality depends entirely on your input notes — feed it your problem, goal and current formulas; it may legitimately return a blocker report instead of a derivation, and that is the feature, not a failure; it reads and writes files in the working directory. Skill Harbor never reviews the code, review it yourself before use. Discovered via skills.sh. **Description FR:** Sélectionné par Skill Harbor — structure la dérivation de formules de recherche en exactement une sortie : un package de dérivation cohérent pour la cible originale, un package recadré avec objet/hypothèses/périmètre corrigés, ou un rapport de blocage expliquant pourquoi les notes actuelles ne peuvent pas encore supporter une dérivation cohérente. Il extrait et normalise le phénomène cible, le rôle visé de la dérivation (identité exacte, proposition, approximation, interprétation de mécanisme), les hypothèses explicites, la notation et les définitions — et si quelque chose est ambigu, il énonce son interprétation exacte avant de dériver quoi que ce soit. L'honnêteté avant le poli est le principe de design : pas de faux récits de théorèmes vernis. Crédit : @wanshuiyin. Bémols honnêtes : la qualité de sortie dépend entièrement de vos notes d'entrée — donnez-lui votre problème, objectif et formules actuelles ; il peut légitimement retourner un rapport de blocage au lieu d'une dérivation, et c'est la fonctionnalité, pas un échec ; il lit et écrit des fichiers dans le répertoire de travail. Skill Harbor ne vérifie jamais le code, examinez-le vous-même avant usage. Découvert via skills.sh. **Install prompt EN:** ``` Prerequisites: research notes to work from — a problem, a goal and your current formulas or draft; an agent able to read/write/edit files in the working directory Install "Formula Derivation Package" for me. Give my agent the formula-derivation methodology — input extraction and normalization, ambiguity declared up front, exactly one of three outputs (coherent package, reframed package, blocker report) Repository: https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/blob/main/skills/formula-derivation/SKILL.md 1. Fetch the SKILL.md file for the wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation skill from the repository into a temporary folder and summarize what it does in one or two sentences. 2. Safety check: review the SKILL.md for anything suspicious (unexpected network calls, shell commands, credential harvesting). This repo should contain zero secrets in code, credentials only via the secure vault, allowed hosts declared in the SKILL.md. Verify that holds here; STOP on any red flag and tell me. 3. Install it as a skill: copy SKILL.md into the agent's skills directory, in a folder named "wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation". 4. Verify with no network calls: frontmatter valid, files in place. 5. Report what was installed, where, and what I still need to do myself (e.g. point my agent at my notes directory with the problem, goal and current formulas). GitHub is optional: if I have a GitHub account or the gh CLI, you may use it; otherwise public access is fine. Never require it unless it's in the prerequisites above. Rules: don't touch anything outside the temp folder and the install target. If anything looks off, stop and ask me. ``` **Install prompt FR:** ``` Prérequis : des notes de recherche à travailler — un problème, un objectif et vos formules ou brouillons actuels ; un agent capable de lire/écrire/éditer des fichiers dans le répertoire de travail Installe-moi « Package de dérivation de formules ». Donne à mon agent la méthodologie de dérivation de formules — extraction et normalisation des entrées, ambiguïtés déclarées d'avance, exactement l'une des trois sorties (package cohérent, package recadré, rapport de blocage) Dépôt : https://github.com/wanshuiyin/auto-claude-code-research-in-sleep/blob/main/skills/formula-derivation/SKILL.md 1. Récupère le fichier SKILL.md du skill wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation depuis le dépôt dans un dossier temporaire et résume en une ou deux phrases ce qu'il fait. 2. Contrôle de sécurité : examine le SKILL.md pour tout contenu suspect (appels réseau inattendus, commandes shell, récolte d'identifiants). Ce dépôt ne doit contenir aucun secret dans le code ; les identifiants passent uniquement par le coffre sécurisé, les hôtes autorisés sont déclarés dans le SKILL.md. Vérifie que c'est bien le cas ; STOP sur le moindre signal d'alerte et préviens-moi. 3. Installe-le comme skill : copie SKILL.md dans le répertoire des skills de l'agent, dans un dossier nommé « wanshuiyin-auto-claude-code-research-in-sleep-formula-derivation ». 4. Vérifie sans aucun appel 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 (p. ex. pointer mon agent vers mon répertoire de notes avec le problème, l'objectif et les formules actuelles). 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 si c'est 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. ``` ---

Version :