MCP HubMCP Hub
SKILL·ADD7E0

property-testing-guide

aiskillstore
Mis à jour 1 month ago
20 vues
162
7
162
Voir sur GitHub
Teststestingautomationdesigndata

À propos

Cette compétence aide les développeurs à mettre en œuvre des tests basés sur les propriétés en Rust en utilisant proptest, afin de détecter automatiquement des cas limites en vérifiant des invariants. Elle s'active lorsque les utilisateurs travaillent sur des algorithmes, des structures de données ou du code de sérialisation, en suggérant des stratégies de test concrètes. La compétence fournit des conseils d'expert pour définir des propriétés qui doivent toujours être respectées, dépassant ainsi les tests spécifiques basés sur des exemples.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add aiskillstore/marketplace -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/aiskillstore/marketplace
Git CloneAlternatif
git clone https://github.com/aiskillstore/marketplace.git ~/.claude/skills/property-testing-guide

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

Dépôt GitHub

aiskillstore/marketplace
Chemin: skills/emillindfors/property-testing-guide
0
ai-skillsclaudeclaude-codeclaude-skillscodexcodex-skills
FAQ

Frequently asked questions

What is the property-testing-guide skill?

property-testing-guide is a Claude Skill by aiskillstore. Skills package instructions and resources that Claude loads on demand, so Claude can perform property-testing-guide-related tasks without extra prompting.

How do I install property-testing-guide?

Use the install commands on this page: add property-testing-guide 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 property-testing-guide belong to?

property-testing-guide is in the Testing category, tagged testing, automation, design and data.

Is property-testing-guide free to use?

Yes. property-testing-guide 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

evaluating-llms-harness
Tests

Cette compétence Claude exécute le lm-evaluation-harness pour évaluer les modèles de langage sur plus de 60 tâches académiques standardisées telles que MMLU et GSM8K. Elle est conçue pour permettre aux développeurs de comparer la qualité des modèles, de suivre les progrès de l'entraînement ou de rapporter des résultats académiques. L'outil prend en charge différents backends, incluant les modèles HuggingFace et vLLM.

Voir la compétence
cloudflare-cron-triggers
Tests

Cette compétence fournit une connaissance complète pour la mise en œuvre de Déclencheurs Cron Cloudflare afin de planifier des Workers à l'aide d'expressions cron. Elle couvre la configuration de tâches périodiques, de travaux de maintenance et de flux de travail automatisés, tout en traitant des problèmes courants tels que les expressions cron non valides et les problèmes de fuseau horaire. Les développeurs peuvent l'utiliser pour configurer des gestionnaires planifiés, tester des déclencheurs cron et intégrer avec Workflows et Green Compute.

Voir la compétence
webapp-testing
Tests

Cette Compétence Claude fournit une boîte à outils basée sur Playwright pour tester des applications web locales via des scripts Python. Elle permet la vérification frontend, le débogage d'interface utilisateur, la capture d'écrans et la consultation des journaux, tout en gérant les cycles de vie du serveur. Utilisez-la pour les tâches d'automatisation de navigateur, mais exécutez les scripts directement plutôt que de lire leur code source pour éviter la pollution du contexte.

Voir la compétence
finishing-a-development-branch
Tests

Cette compétence aide les développeurs à finaliser leur travail en vérifiant que les tests passent, puis en présentant des options d'intégration structurées. Elle guide le processus de fusion, de création de PRs ou de nettoyage des branches une fois l'implémentation terminée. Utilisez-la lorsque votre code est prêt et testé pour finaliser systématiquement le cycle de développement.

Voir la compétence