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
Démontrer la connexité en topologie v1.0.0
Utilisez cette ressource pour démontrer qu'un espace est connexe en topologie
Nouveau
- 374 téléchargements
- 138 mentions J'aime
- 186 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install topology-connectedness-proofsSans 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 oriente la preuve de connexité : contradiction avec une séparation, chemins continus ou lemme des éventails. Il contrôle les étapes avec Z3 et SymPy, et invoque le théorème des valeurs intermédiaires quand il s'applique. Vous obtenez une démonstration structurée.
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 (contradiction, chemins, lemme des éventails)
- SKILL.md : commandes Z3 (absence de séparation, TVI) et SymPy (chemin)
Pour qui
- Vous devez montrer qu'un espace est connexe
- Vous révisez les composantes connexes
Pas pour qui
Étiquettes
- connexité
- topologie
- chemins
- démonstration
À propos
Vous dites
« Montre que l'intervalle [0,1] est connexe. »
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 qu'un espace est connexe en topologie
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md3,6 Ko
Origine et licence
Référencée sans modification
- Auteur
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/topology/connectedness
- Licence
- MIT
Notice
« connectedness » (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…