Qu'est-ce que topos-generate ?
Compétence de génération de topos (PLUS +1) Source : plurigrid/asi.
·topos-generate
</>
topos-generate
✓Compétence de génération de topos (PLUS +1)
Installation
Comment installer topos-generate
Installez rapidement le skill IA topos-generate dans votre environnement de développement via la ligne de commande
- Ouvrir le Terminal: Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.)
- Exécuter la commande d'installation: Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill topos-generate
- Vérifier l'installation: Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
Source : plurigrid/asi.
SKILL.md
Voir l'originalIn Set: Ω = {0, 1} = Bool In Sh(X): Ω = {open subsets of X} In Sh(C,J): Ω = sieves
| Set | Classical sets | Standard math | | Sh(X) | Varying sets over X | Geometry | | Sh(G) | G-sets | Symmetry | | Eff | Computable functions | Computability | | Dialectica | Proof-relevant math | Type theory |
Compétence de génération de topos (PLUS +1) Source : plurigrid/asi.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill topos-generate Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/plurigrid/asi --skill topos-generate- Source
- plurigrid/asi
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-25
- Mis à jour
- 2026-03-10
Réponses rapides
Comment installer topos-generate ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill topos-generate Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
Où se trouve le dépôt source ?
https://github.com/plurigrid/asi
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-25