GratuitSlides
Diaporama avec trame narrative et minutage
- 499499 téléchargements
- 205205 mentions J'aime
- 225225 sauvegardes
- Claude Code
- Codex
- Cursor
- et 3 autres
Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres
Utilisez cette ressource pour démontrer la continuité ou l'ouverture d'un ensemble en topologie
Nouveau
Gratuit
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install topology-open-sets-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 suit un arbre de décision pour vérifier la continuité d'une application, établir qu'un ensemble est ouvert et contrôler les propriétés topologiques avec Z3. Vous obtenez une démonstration structurée.
Choisie surtout par
Mise à jour le 2 novembre 2026
Vous dites
« Montre que l'image réciproque d'un ouvert par cette application est ouverte. »

Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Référencée sans modification
« open-sets » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
–
Aucune note pour l'instant
Chargement des avis…