MCP HubMCP Hub
Retour aux compétences

categories-functors

parcadei
Mis à jour 28 days ago
64 vues
3,101
217
3,101
Voir sur GitHub
Autregeneral

À propos

Cette compétence fournit des stratégies structurées pour résoudre des problèmes de théorie des catégories impliquant des foncteurs, avec des conseils spécifiques pour vérifier les axiomes de catégorie et contrôler les propriétés des foncteurs. Elle inclut un arbre de décision pour une résolution méthodique de problèmes et propose des extraits de code Lean 4 directs pour les preuves clés. Utilisez-la lors de l'implémentation ou du débogage de structures catégorielles et de foncteurs dans un environnement de développement formel.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git CloneAlternatif
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/categories-functors

Copiez et collez cette commande dans Claude Code pour installer cette compétence

Dépôt GitHub

parcadei/Continuous-Claude-v3
Chemin: .claude/skills/math/category-theory/categories-functors
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills

Compétences associées

llamaguard

Autre

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.

Voir la compétence

cost-optimization

Autre

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.

Voir la compétence

quantizing-models-bitsandbytes

Autre

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.

Voir la compétence

dispatching-parallel-agents

Autre

Cette compétence Claude déploie plusieurs agents pour enquêter et résoudre simultanément 3 problèmes indépendants ou plus. Elle est conçue pour des scénarios impliquant des défaillances non liées qui peuvent être résolues sans état partagé ni dépendances. La capacité fondamentale est la résolution de problèmes en parallèle, en assignant un agent par domaine problématique indépendant afin de maximiser l'efficacité.

Voir la compétence