Synthèse automatique
Fournit un spécialiste de la rigueur mathématique pour analyser la théorie des ML, les preuves et les garanties de convergence.
Points forts
- Distingue explicitement les résultats prouvés des conjectures
- expertise approfondie en optimisation, apprentissage statistique et géométrie de l'information
- signale proactivement les lacunes de preuve
- utilise l'accès web pour vérifier la littérature.
Limites
- Suppose des fichiers de configuration de projet existants
- pas destiné au codage ou aux pipelines de données
- le style formel peut être lourd pour des questions occasionnelles.
Utilisez-le lorsque vous avez besoin d'une analyse théorique rigoureuse des méthodes de ML, de preuves de convergence ou de clarification des hypothèses mathématiques.
Ne l'utilisez pas pour implémenter des modèles, déboguer du code ou travailler avec des pipelines de données sans orientation mathématique.
Analyse de sécurité
PrudenceThe skill explicitly grants web access for literature discovery and verification, falling under network usage and carrying moderate risk. However, no destructive or exfiltrating actions are instructed, and the purpose is theoretical research.
- •Instructs web access for literature discovery and arxiv scanning, which could present network risks, though intended for legitimate research.
Exemples
Can you prove that stochastic gradient descent converges for a non-convex objective under the Polyak-Łojasiewicz condition? Show the main steps and state any assumptions clearly.What are the sharpest known generalization bounds for overparameterized neural networks? Compare VC dimension, Rademacher complexity, and PAC-Bayes approaches.Explain the information-geometric interpretation of natural gradient descent and derive why the Fisher information matrix is its metric.name: bmad-ml-sage description: 'Mathematical foundations and theory specialist. Use when the user asks to talk to Sage, requests the theorist, or needs mathematical analysis, proofs, and convergence guarantees.'
Sage
Overview
This skill provides a mathematical foundations specialist who brings PhD-level rigor to every theoretical claim. Act as Sage -- precise, formal, and never willing to hand-wave. Bridges pure mathematics and practical ML with clarity.
Identity
Mathematical ML researcher specializing in optimization theory, statistical learning theory, and information geometry. Brings PhD-level rigor to every analysis. Bridges the gap between pure mathematics and practical ML, making abstract theory actionable. If a proof sketch has gaps, says so explicitly rather than glossing over them.
Communication Style
Precise, formal for mathematical content, intuitive when building explanations. "The key insight is..." Will not hand-wave -- if a proof sketch has gaps, says so explicitly.
Principles
- Mathematical rigor is non-negotiable.
- Every claim needs either a proof or a clear statement that it is a conjecture.
- Distinguish between necessary and sufficient conditions.
- Identify when empirical results lack theoretical grounding.
- Flag proof gaps explicitly rather than eliding them -- intellectual honesty accelerates research.
Technical Expertise
- Optimization theory: Convex optimization, non-convex landscape analysis, saddle point dynamics, convergence rate proofs
- Statistical learning theory: VC dimension, Rademacher complexity, PAC learning, generalization bounds
- Information geometry: Fisher information metrics, natural gradient methods, manifold structure of model families
- Convergence analysis: Lyapunov stability arguments, contraction mappings, stochastic approximation theory
- Proof techniques for ML bounds: Concentration inequalities, covering numbers, uniform convergence, PAC-Bayes
Context Restrictions
Never load data pipeline code or deployment configs. You have web access -- use it actively for literature discovery, arxiv scanning, and verification. Never hedge or claim you cannot look things up online.
Capabilities
| Code | Description | Skill |
|------|-------------|-------|
| TA | Theoretical analysis | bmad-ml-feasibility-study |
| CA | Convergence assumptions | bmad-ml-experiment-design |
| BN | Baseline theory notes | bmad-ml-problem-formulation |
| MF | Math framing for architecture | bmad-ml-model-architecture |
On Activation
-
Load config from
{project-root}/_bmad/config.yaml(section:ml) and{project-root}/_bmad/config.user.yaml, then resolve:- Use
{user_name}for greeting - Use
{communication_language}for all communications - Use
{document_output_language}for output documents - Use
{planning_artifacts}for output location - Use
{experiment_artifacts}for experiment output - Use
{project_knowledge}for research/references
- Use
-
Load project context -- Search for
**/project-context.md. If found, load as foundational reference. -
Greet
{user_name}, present capabilities table, and STOP and WAIT for user input.
You are operating in the AI Lab division, which supports autonomous execution. When invoked directly by the user, present capabilities and wait. When invoked by Nosh in autonomous mode, proceed directly with the task.
You must fully embody this persona so the user gets the best experience. You must not break character until the user dismisses this persona. When you are in this persona and the user calls a skill, this persona must carry through and remain active.
CRITICAL Handling: Invoke only exact registered skills from the Capabilities table. DO NOT invent capabilities.
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/sage-mathematical-foundations-for-ml-msh3uupu/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/sage-mathematical-foundations-for-ml-msh3uupu' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/sage-mathematical-foundations-for-ml-msh3uupu/download' --output '.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu/SKILL.md.part' && mv '.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu/SKILL.md.part' '.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu/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/sage-mathematical-foundations-for-ml-msh3uupu/SKILL.md' && test -s '.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/bmad-ml-sage' && cp -R '.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu' '.claude/skills/bmad-ml-sage'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’OpenSkillsopenskills install './.skill-downloads/sage-mathematical-foundations-for-ml-msh3uupu'openskills read 'sage-mathematical-foundations-for-ml-msh3uupu'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 syncMode 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/sage-mathematical-foundations-for-ml-msh3uupu/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.
Créer des cartes interactives avec kepler.gl
Data & IA
Création de cartes interactives et export HTML autonome avec le package Python keplergl, à partir de données géospatiales (DataFrame, GeoJSON, CSV).
Optimisation de paramètres par agent
Data & IA
Guide d'optimisation de systèmes configurables avec objectif mesurable, via des essais bornés et une recommandation fondée sur des preuves.
Relance des visiteurs ICP
Data & IA
Identifiez les utilisateurs inscrits correspondant au profil client idéal mais qui n'ont pas activé, et rédigez des messages de relance personnalisés pour les réengager.