GratuitSlides
Diaporama avec trame narrative et minutage
- 499499 téléchargements
- 205205 mentions J'aime
- 225225 sauvegardes
Compatible avec
+ Marp, reveal.js ou Slidev- Claude Code
- Codex
- Cursor
- et 3 autres
Résoudre des problèmes sur la mesure de Lebesgue v1.0.0
Utilisez cette ressource pour démontrer la mesurabilité ou calculer la mesure d'un ensemble
Nouveau
- 371 téléchargements
- 107 mentions J'aime
- 100 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install lebesgue-measure-proof-strategiesSans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent construit la mesure extérieure, vérifie le critère de Carathéodory, applique les théorèmes de régularité et les propriétés des boréliens, avec SymPy et Z3. Vous obtenez une démonstration vérifiable.
Choisie surtout par
Mise à jour le 2 novembre 2026
Aperçus
Caractéristiques
- Fonctionne dans
- Guides d'installation
- Génère avec
- Le modèle de votre agent
- Licence
- MIT
Ressources similaires
Tout voir- Gratuit
GratuitSkills
Reformulation simple de la dernière réponse
- 501501 téléchargements
- 151151 mentions J'aime
- 162162 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Bilan de progression des révisions drill-me
- 475475 téléchargements
- 146146 mentions J'aime
- 182182 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Explication progressive, du contexte au mécanisme
- 305305 téléchargements
- 149149 mentions J'aime
- 204204 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Traduire un contrat en langage clair
- 423423 téléchargements
- 195195 mentions J'aime
- 178178 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Accompagner un arrêt du tabac, en parrain
- 575575 téléchargements
- 104104 mentions J'aime
- 142142 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Apprentissage d'un concept sur plusieurs séances
- 513513 téléchargements
- 159159 mentions J'aime
- 189189 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Contrôle du style des pages de documentation
- 573573 téléchargements
- 109109 mentions J'aime
- 126126 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : arbre de décision (mesure extérieure, Carathéodory, régularité)
- SKILL.md : commandes SymPy (sommes, boréliens) et Z3 (critère de Carathéodory)
Pour qui
- Vous devez montrer qu'un ensemble est mesurable
- Vous calculez la mesure d'un intervalle ou d'un ensemble simple
Pas pour qui
Étiquettes
- mesure de lebesgue
- carathéodory
- mesurabilité
- régularité
À propos
Vous dites
« Montre que l'ensemble des rationnels de [0,1] est de mesure nulle. »
Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Voir plusVoir moins
Comment l'utiliser
- Installez la skill dans le dossier de skills de votre agent
- Demandez à votre agent de démontrer la mesurabilité ou calculer la mesure d'un ensemble
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md3,3 Ko
Origine et licence
Référencée sans modification
- Auteur
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/measure-theory/lebesgue-measure
- Licence
- MIT
Notice
« lebesgue-measure » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
Avis des utilisateurs
–
Aucune note pour l'instant
Chargement des avis…