design-by-contract
À propos
Cette compétence permet le développement par contrat en automatisant la création et la vérification de contrats de code formels (préconditions, postconditions, invariants) à travers plusieurs langages. Elle prend en charge le flux de travail complet, de la planification à la correction, en offrant à la fois des capacités de documentation et d'exécution. Utilisez-la pour imposer le comportement des composants, détecter les violations tôt et générer des annotations de contrat directement dans votre base de code.
Installation rapide
Claude Code
Recommandénpx skills add Activer007/ordinary-claude-skills -a claude-code/plugin add https://github.com/Activer007/ordinary-claude-skillsgit clone https://github.com/Activer007/ordinary-claude-skills.git ~/.claude/skills/design-by-contractCopiez et collez cette commande dans Claude Code pour installer cette compétence
Dépôt GitHub
Frequently asked questions
What is the design-by-contract skill?
design-by-contract is a Claude Skill by Activer007. Skills package instructions and resources that Claude loads on demand, so Claude can perform design-by-contract-related tasks without extra prompting.
How do I install design-by-contract?
Use the install commands on this page: add design-by-contract to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does design-by-contract belong to?
design-by-contract is in the Meta category, tagged word, automation and design.
Is design-by-contract free to use?
Yes. design-by-contract is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Compétences associées
Cette compétence propose une configuration éprouvée en production pour Content Collections, un outil axé sur TypeScript qui transforme des fichiers Markdown/MDX en collections de données typées de manière sûre avec une validation Zod. Utilisez-la lors de la création de blogs, de sites de documentation ou d'applications Vite + React riches en contenu pour garantir la sécurité de typage et la validation automatique du contenu. Elle couvre tout, de la configuration du plugin Vite et de la compilation MDX à l'optimisation des déploiements et la validation des schémas.
Cette compétence permet aux développeurs de créer des applications avec la plateforme de marchés prédictifs Polymarket, incluant l'intégration d'API pour le trading et les données de marché. Elle fournit également une diffusion de données en temps réel via WebSocket pour surveiller les transactions en direct et l'activité du marché. Utilisez-la pour mettre en œuvre des stratégies de trading ou pour créer des outils traitant les mises à jour de marché en direct.
Cette compétence aide les développeurs à créer des plugins OpenCode qui s'interconnectent avec plus de 25 types d'événements tels que les commandes, les fichiers et les opérations LSP. Elle fournit la structure du plugin, les spécifications de l'API événementielle et les modèles d'implémentation pour les modules JavaScript/TypeScript. Utilisez-la lorsque vous avez besoin d'intercepter, de surveiller ou d'étendre le cycle de vie de l'assistant IA OpenCode avec une logique personnalisée pilotée par les événements.
SGLang est un framework de service LLM haute performance spécialisé dans la génération rapide et structurée pour les workflows JSON, regex et agentiques grâce à son cache de préfixe RadixAttention. Il offre une inférence nettement plus rapide, particulièrement pour les tâches avec des préfixes répétés, ce qui le rend idéal pour les sorties complexes et structurées ainsi que les conversations multi-tours. Choisissez SGLang plutôt que des alternatives comme vLLM lorsque vous avez besoin d'un décodage contraint ou que vous construisez des applications avec un partage étendu de préfixes.