À propos
Cette compétence fournit des stratégies pour résoudre des problèmes de sigma-algèbres en théorie de la mesure, comme la vérification des axiomes, la génération de sigma-algèbres et le contrôle de la mesurabilité. Elle inclut un arbre de décision pour guider les utilisateurs et peut faire appel à des outils tels que `z3_solve.py` pour des preuves formelles. Utilisez-la pour aborder des tâches fondamentales de théorie de la mesure impliquant les propriétés et les constructions des sigma-algèbres.
Installation rapide
Claude Code
Recommandénpx skills add scooter-lacroix/Maestro -a claude-code/plugin add https://github.com/scooter-lacroix/Maestrogit clone https://github.com/scooter-lacroix/Maestro.git ~/.claude/skills/sigma-algebrasCopiez et collez cette commande dans Claude Code pour installer cette compétence
Dépôt GitHub
Questions fréquentes
Qu’est-ce que le Skill sigma-algebras ?
sigma-algebras est un Skill Claude créé par scooter-lacroix. Un Skill regroupe des instructions et des ressources que Claude charge à la demande pour effectuer des tâches liées à sigma-algebras sans consigne supplémentaire.
Comment installer sigma-algebras ?
Utilisez les commandes d’installation de cette page : ajoutez sigma-algebras à Claude Code comme plugin ou clonez son dépôt dans votre dossier skills, puis redémarrez Claude pour charger le Skill.
À quelle catégorie appartient sigma-algebras ?
sigma-algebras appartient à la catégorie Autre.
sigma-algebras est-il gratuit ?
Oui. sigma-algebras est référencé sur AIMCP et son installation est gratuite.
Compétences associées
LlamaGuard est le modèle de Meta, doté de 7 à 8 milliards de paramètres, conçu pour modérer les entrées et sorties des LLM selon six catégories de sécurité comme la violence et les discours haineux. Il offre une précision de 94 à 95 % et peut être déployé avec vLLM, Hugging Face ou Amazon SageMaker. Utilisez cette compétence pour intégrer facilement le filtrage de contenu et des garde-fous de sécurité dans vos applications d'IA.
Cette compétence de Claude aide les développeurs à optimiser les coûts du cloud grâce au redimensionnement des ressources, aux stratégies d'étiquetage et à l'analyse des dépenses. Elle fournit un cadre pour réduire les dépenses cloud et mettre en œuvre une gouvernance des coûts sur AWS, Azure et GCP. Utilisez-la lorsque vous devez analyser les coûts d'infrastructure, redimensionner les ressources ou respecter des contraintes budgétaires.
Cette compétence Claude analyse les marchés des paris sportifs, incluant les spreads, les over/under et les paris spéciaux, en examinant les tendances historiques et les statistiques situationnelles pour identifier les paris à valeur ajoutée. Elle fournit une sortie en markdown structuré avec des recommandations actionnables à des fins éducatives. Les développeurs doivent l'utiliser pour des outils d'analyse de paris sportifs tout en notant qu'elle est conçue uniquement pour le divertissement et l'éducation.
Cette compétence quantifie les LLMs en précision 8 bits ou 4 bits à l'aide de bitsandbytes, permettant une réduction de 50 à 75 % de la mémoire utilisée avec une perte de précision minime. Elle est idéale pour exécuter des modèles plus volumineux sur une mémoire GPU limitée ou pour accélérer l'inférence, prenant en charge des formats comme INT8, NF4 et FP4. La compétence s'intègre à HuggingFace Transformers et permet l'entraînement QLoRA ainsi que l'utilisation d'optimiseurs en 8 bits.
