SKILL·B37F71

property-based-testing

aj-geddes
Aktualisiert 2 months ago
215 Ansichten
74
9
74
Auf GitHub ansehen
Metatestingautomationdesign

Über

Diese Fähigkeit unterstützt Entwickler beim Entwurf eigenschaftsbasierter Tests, die mithilfe automatischer Testfallgenerierung überprüfen, ob Code-Eigenschaften für alle Eingaben gelten. Sie ist ideal zum Testen von Algorithmen, zum Verifizieren von Invarianten und zum Auffinden von Grenzfällen in Parsern, Datentransformationen und Datenstrukturen. Der Ansatz konzentriert sich auf allgemeine Eigenschaften statt auf konkrete Beispiele, um Fehler aufzudecken, die traditionelle Tests übersehen könnten.

Schnellinstallation

Claude Code

Empfohlen
Primär
npx skills add aj-geddes/useful-ai-prompts -a claude-code
Plugin-BefehlAlternativ
/plugin add https://github.com/aj-geddes/useful-ai-prompts
Git CloneAlternativ
git clone https://github.com/aj-geddes/useful-ai-prompts.git ~/.claude/skills/property-based-testing

Kopieren Sie diesen Befehl und fügen Sie ihn in Claude Code ein, um diese Fähigkeit zu installieren

GitHub Repository

aj-geddes/useful-ai-prompts
Pfad: skills/property-based-testing
0
FAQ

Frequently asked questions

What is the property-based-testing skill?

property-based-testing is a Claude Skill by aj-geddes. 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 Meta category, tagged testing, automation 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.

Verwandte Skills

content-collections
Meta

Diese Skill bietet eine produktionsgetestete Einrichtung für Content Collections – ein TypeScript-first-Tool, das Markdown/MDX-Dateien in typsichere Datensammlungen mit Zod-Validierung umwandelt. Verwenden Sie ihn beim Erstellen von Blogs, Dokumentationsseiten oder inhaltsstarken Vite + React-Anwendungen, um Typsicherheit und automatische Inhaltsvalidierung zu gewährleisten. Er behandelt alles von der Vite-Plugin-Konfiguration und MDX-Kompilierung bis hin zur Deployment-Optimierung und Schema-Validierung.

Skill ansehen
polymarket
Meta

Diese Fähigkeit ermöglicht es Entwicklern, Anwendungen mit der Polymarket-Prognosemärkte-Plattform zu erstellen, einschließlich API-Integration für Handel und Marktdaten. Sie bietet außerdem Echtzeit-Datenstreaming über WebSocket, um Live-Trades und Marktaktivitäten zu überwachen. Nutzen Sie sie zur Implementierung von Handelsstrategien oder zur Erstellung von Tools, die Live-Marktaktualisierungen verarbeiten.

Skill ansehen
creating-opencode-plugins
Meta

Diese Fähigkeit unterstützt Entwickler dabei, OpenCode-Plugins zu erstellen, die in über 25 Ereignistypen wie Befehle, Dateien und LSP-Operationen eingreifen. Sie bietet die Plugin-Struktur, Event-API-Spezifikationen und Implementierungsmuster für JavaScript/TypeScript-Module. Nutzen Sie sie, wenn Sie den Lebenszyklus des OpenCode KI-Assistenten mit benutzerdefinierter ereignisgesteuerter Logik abfangen, überwachen oder erweitern müssen.

Skill ansehen
sglang
Meta

SGLang ist ein hochperformantes LLM-Serving-Framework, das sich auf schnelle, strukturierte Generierung für JSON, Regex und agentenbasierte Workflows unter Verwendung seines RadixAttention-Prefix-Cachings spezialisiert. Es bietet deutlich schnellere Inferenz, insbesondere für Aufgaben mit wiederholten Präfixen, was es ideal für komplexe, strukturierte Ausgaben und Mehrfachdialoge macht. Wählen Sie SGLang gegenüber Alternativen wie vLLM, wenn Sie constrained decoding benötigen oder Anwendungen mit umfangreicher Präfix-Weitergabe entwickeln.

Skill ansehen