MCP HubMCP Hub
Retour aux compétences

sheaf-cohomology

plurigrid
Mis à jour 5 days ago
7 vues
7
3
7
Voir sur GitHub
Développementdata

À propos

Cette compétence utilise la cohomologie de Čech pour vérifier que des correctifs de code ou de données localement cohérents peuvent être correctement combinés en une structure globalement cohérente. Elle vérifie les obstructions en validant les conditions de cocycle sur un recouvrement ouvert de la base de code ou du schéma. Les développeurs doivent l'utiliser pour la vérification formelle de l'intégrité architecturale, en particulier lors de la fusion de composants distribués ou de schémas de données.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add plurigrid/asi -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/plurigrid/asi
Git CloneAlternatif
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/sheaf-cohomology

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

Dépôt GitHub

plurigrid/asi
Chemin: ies/music-topos/.ruler/skills/sheaf-cohomology
0

Compétences associées

qmd

Développement

qmd est un outil CLI de recherche et d'indexation locale qui permet aux développeurs d'indexer et de rechercher dans des fichiers locaux en utilisant une recherche hybride combinant BM25, des embeddings vectoriels et du reranking. Il prend en charge à la fois une utilisation en ligne de commande et un mode MCP (Model Context Protocol) pour l'intégration avec Claude. L'outil utilise Ollama pour les embeddings et stocke les index localement, ce qui le rend idéal pour rechercher dans de la documentation ou des bases de code directement depuis le terminal.

Voir la compétence

subagent-driven-development

Développement

Cette compétence exécute des plans de mise en œuvre en déployant un nouveau sous-agent pour chaque tâche indépendante, avec une revue de code entre les tâches. Elle permet une itération rapide tout en maintenant des contrôles de qualité grâce à ce processus de revue. Utilisez-la lorsque vous travaillez sur des tâches principalement indépendantes au sein d'une même session pour assurer une progression continue avec des vérifications de qualité intégrées.

Voir la compétence

mcporter

Développement

La compétence mcporter permet aux développeurs de gérer et d'appeler des serveurs Model Context Protocol (MCP) directement depuis Claude. Elle fournit des commandes pour lister les serveurs disponibles, appeler leurs outils avec des arguments, et gérer l'authentification ainsi que le cycle de vie du démon. Utilisez cette compétence pour intégrer et tester les fonctionnalités des serveurs MCP dans votre flux de travail de développement.

Voir la compétence

adk-deployment-specialist

Développement

Cette compétence déploie et orchestre des agents Vertex AI ADK en utilisant le protocole A2A, gérant la découverte d'AgentCard, la soumission de tâches, et prenant en charge des outils tels que le bac à sable d'exécution de code et la banque de mémoire. Elle permet de construire des systèmes multi-agents avec des modèles d'orchestration séquentiels, parallèles ou en boucle en Python, Java ou Go. Utilisez-la lorsqu'on vous demande de déployer des agents ADK ou d'orchestrer des flux de travail d'agents sur Google Cloud.

Voir la compétence