MCP HubMCP Hub
SKILL·B10512

property-based-testing

trailofbits
Mis à jour 2 months ago
35 vues
6,147
540
6,147
Voir sur GitHub
Teststestingdesign

À propos

Cette compétence fournit des conseils pour la mise en œuvre de tests basés sur les propriétés à travers plusieurs langages et plateformes de contrats intelligents. Elle détecte automatiquement des motifs tels que les paires de sérialisation/désérialisation, les analyseurs syntaxiques, les validateurs et les structures de données où les tests basés sur les propriétés offrent une couverture plus robuste que les tests basés sur des exemples. Utilisez-la de manière proactive pendant le développement, les tests ou la revue de code pour identifier les scénarios où les approches basées sur les propriétés sont les plus pertinentes.

Installation rapide

Claude Code

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

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

Dépôt GitHub

trailofbits/skills
Chemin: plugins/property-based-testing/skills/property-based-testing
0
agent-skills
FAQ

Frequently asked questions

What is the property-based-testing skill?

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

How do I install property-based-testing?

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

property-based-testing is in the Testing category, tagged testing and design.

Is property-based-testing free to use?

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